# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466705863 -3600
# Node ID fcf36d293458a829af35c3910bc1989287aa4665
# Parent  f299f43839596a9ddb1f990926c8455316fad960
update_board does not restart the IDE with --no-frills (hence the name)

diff -r f299f4383959 -r fcf36d293458 scripts/update_board
--- a/scripts/update_board	Thu Jun 23 18:19:42 2016 +0100
+++ b/scripts/update_board	Thu Jun 23 19:17:43 2016 +0100
@@ -194,8 +194,7 @@
 	then
 	  export BBB_ADDRESS BBB_BELA_HOME
 	  cd $IDE_FOLDER/scripts && ./update_IDE $ALWAYS_YES_FLAG --no-frills
-
-	  ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 
+      [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 
 	else
 	  # run the IDE 
 	   printf "\nThe Bela core files were updated on the board, but a valid IDE folder was not found in $IDE_FOLDER/, so the IDE was not updated.