changeset 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 b6b532e88a5c
children e9821d65b9ba
files scripts/update_board
diffstat 1 files changed, 6 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/update_board	Tue Jun 21 17:14:39 2016 +0100
+++ b/scripts/update_board	Tue Jun 21 17:24:20 2016 +0100
@@ -175,9 +175,12 @@
   error_handler $? "\nError while generating Doxygen documentation\n"
 fi
 
-printf "Cleaning build environment..."
-ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory coreclean &>/dev/null"
-error_handler $? "\nError cleaning core\n"
+if [ $FULL -eq 1 ]
+then
+  printf "Cleaning build environment..."
+  ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory coreclean &>/dev/null"
+  error_handler $? "\nError cleaning core\n"
+fi
 
 #-------------
 #Installing IDE