# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466526260 -3600
# Node ID 89212ad6a0bfc0477df72cbcff2f5288dabc62a6
# Parent  b6b532e88a5c1973931cdf135474f2649511f6a0
update_board does not coreclean if --no-frills

diff -r b6b532e88a5c -r 89212ad6a0bf scripts/update_board
--- 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