# HG changeset patch # User Giulio Moro # Date 1466096906 -3600 # Node ID 4c2588930b0a540ba262948046947ba5d3fe17f7 # Parent 99de323c13b3def8054305ab0fc4fd18854f50e2 Makefile sets attributes of Bela_startup.sh file diff -r 99de323c13b3 -r 4c2588930b0a Makefile --- a/Makefile Thu Jun 16 15:55:03 2016 +0100 +++ b/Makefile Thu Jun 16 18:08:26 2016 +0100 @@ -272,7 +272,7 @@ startup: Bela @echo "Enabling Bela at startup..." @$(STARTUP_COMMAND) > $(BELA_STARTUP_SCRIPT) - + @chmod +x $(BELA_STARTUP_SCRIPT) 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 [ $(QUIET) = true ] || echo "No process to kill"; else [ $(QUIET) = true ] || echo "Killing old Bela process $$PID"; kill -2 $$PID; fi; screen -X -S $(SCREEN_NAME) quit > /dev/null; exit 0;