comparison scripts/ide.sh @ 458:84841654c606 prerelease

update is a bit more clean through Makefile
author Giulio Moro <giuliomoro@yahoo.it>
date Mon, 20 Jun 2016 02:48:31 +0100
parents 44e5c12ce165
children d9a4fc5357e7
comparison
equal deleted inserted replaced
457:44e5c12ce165 458:84841654c606
20 MAKE_COMMAND="make --no-print-directory -C $BBB_BELA_HOME" 20 MAKE_COMMAND="make --no-print-directory -C $BBB_BELA_HOME"
21 while [ -n $1 ] 21 while [ -n $1 ]
22 do 22 do
23 case $1 in 23 case $1 in
24 start) 24 start)
25 echo ssh $BBB_ADDRESS $MAKE_COMMAND idestart
26 ssh $BBB_ADDRESS $MAKE_COMMAND idestart 25 ssh $BBB_ADDRESS $MAKE_COMMAND idestart
27 exit $? 26 exit $?
28 ;; 27 ;;
29 stop) 28 stop)
30 ssh $BBB_ADDRESS $MAKE_COMMAND idestop 29 ssh $BBB_ADDRESS $MAKE_COMMAND idestop