# HG changeset patch # User Giulio Moro # Date 1465925065 -3600 # Node ID 5848f5c8bc398df0abfa1847d86f8fbcbde7366a # Parent 922535948800be41c2c0e4f2a854c1ca7506c684 Reverting Makefile introduced in 814e85de67e1 diff -r 922535948800 -r 5848f5c8bc39 Makefile --- a/Makefile Tue Jun 14 18:15:23 2016 +0100 +++ b/Makefile Tue Jun 14 18:24:25 2016 +0100 @@ -266,8 +266,7 @@ stop: ## Stops any Bela program that is currently running stop: -# @PID=`grep $(BELA_AUDIO_THREAD_NAME) /proc/xenomai/stat | cut -d " " -f 5 | sed s/\s//g`; if [ -z $$PID ]; then echo "No process to kill"; else echo "Killing old Bela process $$PID"; kill -2 $$PID; fi; screen -X -S $(SCREEN_NAME) quit > /dev/null; exit 0; - @PID=`grep $(BELA_AUDIO_THREAD_NAME) /proc/xenomai/stat | cut -d " " -f 5 | sed s/\s//g`; if [ -z $$PID ]; then echo "No process to kill"; else echo "Killing old Bela process $$PID"; fi; screen -X -S $(SCREEN_NAME) quit > /dev/null; exit 0; + @PID=`grep $(BELA_AUDIO_THREAD_NAME) /proc/xenomai/stat | cut -d " " -f 5 | sed s/\s//g`; if [ -z $$PID ]; then echo "No process to kill"; else echo "Killing old Bela process $$PID"; kill -2 $$PID; fi; screen -X -S $(SCREEN_NAME) quit > /dev/null; exit 0; iderun: ## Starts the on-board IDE iderun: