diff scripts/update_board @ 453:4cccb13bf406 prerelease

Minor edits to Makefile
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 19 Jun 2016 22:36:38 +0100
parents 7b63e3295343
children 1d66b4e8ced9
line wrap: on
line diff
--- a/scripts/update_board	Sun Jun 19 21:27:37 2016 +0100
+++ b/scripts/update_board	Sun Jun 19 22:36:38 2016 +0100
@@ -178,7 +178,7 @@
 else
   # run the IDE 
   [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
-  [ $FULL -eq 1 ] && echo "The Bela core files were updated the board, but a valid IDE folder was not found in $IDE_FOLDER/, so the IDE was not updated. If there was an older version of the IDE on the board, it is being restarted.
+  [ $FULL -eq 1 ] && echo "The 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. 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