comparison scripts/update_board @ 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 c6ccaf53381a
comparison
equal deleted inserted replaced
529:f299f4383959 530:fcf36d293458
192 ls $IDE_FOLDER/scripts/update_IDE >/dev/null 2>/dev/null 192 ls $IDE_FOLDER/scripts/update_IDE >/dev/null 2>/dev/null
193 if [ $? -eq 0 ] 193 if [ $? -eq 0 ]
194 then 194 then
195 export BBB_ADDRESS BBB_BELA_HOME 195 export BBB_ADDRESS BBB_BELA_HOME
196 cd $IDE_FOLDER/scripts && ./update_IDE $ALWAYS_YES_FLAG --no-frills 196 cd $IDE_FOLDER/scripts && ./update_IDE $ALWAYS_YES_FLAG --no-frills
197 197 [ $FULL -eq 1 ] && ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
198 ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
199 else 198 else
200 # run the IDE 199 # run the IDE
201 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. 200 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.
202 You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide\n" 201 You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide\n"
203 [ $FULL -eq 1 ] && printf "If there was an older version of the IDE on the board, it is being restarted.\n\n" &&\ 202 [ $FULL -eq 1 ] && printf "If there was an older version of the IDE on the board, it is being restarted.\n\n" &&\