changeset 397:5848f5c8bc39 prerelease

Reverting Makefile introduced in 814e85de67e1
author Giulio Moro <giuliomoro@yahoo.it>
date Tue, 14 Jun 2016 18:24:25 +0100
parents 922535948800
children 8a7c35ee8b3f
files Makefile
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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: