changeset 530:fcf36d293458 prerelease

update_board does not restart the IDE with --no-frills (hence the name)
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 23 Jun 2016 19:17:43 +0100
parents f299f4383959
children 53ce8eac833c d0414ec15f63
files scripts/update_board
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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.