changeset 419:4fb06ca94e02 prerelease

Unconditionally restarting IDE after update_board.sh
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 03:42:10 +0100
parents a40ba6f91b1e
children 669855b8461b
files scripts/update_board.sh
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/update_board.sh	Thu Jun 16 03:28:58 2016 +0100
+++ b/scripts/update_board.sh	Thu Jun 16 03:42:10 2016 +0100
@@ -76,7 +76,7 @@
 [ -z "$IDE_FOLDER" ] && IDE_FOLDER=$SCRIPTDIR/../../bela-ide/
 
 
-ssh $BBB_ADDRESS "stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
+ssh $BBB_ADDRESS "date -s '`date`' > /dev/null; stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
 
 if [ $DESTINATION_EMPTY -eq 0 ];
 then
@@ -149,7 +149,9 @@
   # run the IDE 
   ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
 else
+  # run the IDE 
+  ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
   echo \
-"Bela was installed on the board, but No IDE was found, so the IDE was not installed.
-You can get a copy of the IDE files from https://github.com/LBDonovan/bela-ide"
-fi;
+"Bela was installed on the board, but the IDE files were not found, so the IDE was not installed. If there was an older version of the IDE on the board, it is being restarted.
+You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide"
+fi