# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466555305 -3600
# Node ID 116cbb0e2bd4dfbe745b68bb27d8adfa5ce1991d
# Parent  b6eb94378ca9e191e968fe7b60bedee318b953a7
update_board again

diff -r b6eb94378ca9 -r 116cbb0e2bd4 scripts/update_board
--- a/scripts/update_board	Wed Jun 22 01:24:55 2016 +0100
+++ b/scripts/update_board	Wed Jun 22 01:28:25 2016 +0100
@@ -194,7 +194,7 @@
 	  export BBB_ADDRESS BBB_BELA_HOME
 	  cd $IDE_FOLDER/scripts && ./update_IDE $ALWAYS_YES_FLAG --no-frills
 
-	  # The IDE is restarted by the update_IDE script
+	  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.