comparison 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
comparison
equal deleted inserted replaced
452:7b63e3295343 453:4cccb13bf406
176 # run the IDE 176 # run the IDE
177 [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 177 [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
178 else 178 else
179 # run the IDE 179 # run the IDE
180 [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 180 [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
181 [ $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. 181 [ $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.
182 You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide 182 You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide
183 " 183 "
184 fi 184 fi
185 185
186 ssh $BBB_ADDRESS make -C $BBB_BELA_HOME --no-print-directory idestartup nostartup && echo "The board will now run the IDE at startup, but startup of the Bela program has been disabled. To enable it, use the set_startup.sh script" 186 ssh $BBB_ADDRESS make -C $BBB_BELA_HOME --no-print-directory idestartup nostartup && echo "The board will now run the IDE at startup, but startup of the Bela program has been disabled. To enable it, use the set_startup.sh script"