comparison scripts/update_board @ 491:89212ad6a0bf prerelease

update_board does not coreclean if --no-frills
author Giulio Moro <giuliomoro@yahoo.it>
date Tue, 21 Jun 2016 17:24:20 +0100
parents afbc8f973bb3
children b6eb94378ca9
comparison
equal deleted inserted replaced
490:b6b532e88a5c 491:89212ad6a0bf
173 printf "Generating on-board documentation..." 173 printf "Generating on-board documentation..."
174 ssh $BBB_ADDRESS "cd $BBB_BELA_HOME; doxygen &> /dev/null" 174 ssh $BBB_ADDRESS "cd $BBB_BELA_HOME; doxygen &> /dev/null"
175 error_handler $? "\nError while generating Doxygen documentation\n" 175 error_handler $? "\nError while generating Doxygen documentation\n"
176 fi 176 fi
177 177
178 printf "Cleaning build environment..." 178 if [ $FULL -eq 1 ]
179 ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory coreclean &>/dev/null" 179 then
180 error_handler $? "\nError cleaning core\n" 180 printf "Cleaning build environment..."
181 ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory coreclean &>/dev/null"
182 error_handler $? "\nError cleaning core\n"
183 fi
181 184
182 #------------- 185 #-------------
183 #Installing IDE 186 #Installing IDE
184 187
185 if [ $UPDATE_IDE -eq 1 ] 188 if [ $UPDATE_IDE -eq 1 ]