# HG changeset patch # User Giulio Moro # Date 1466020728 -3600 # Node ID 41436dcd2cb09560b91e716d218ee493717d5bd0 # Parent 49e708a7ae515b857661f0d4c410852b5a7229c2 Makefile can stop ide (idestop) diff -r 49e708a7ae51 -r 41436dcd2cb0 Makefile --- a/Makefile Wed Jun 15 14:16:20 2016 +0100 +++ b/Makefile Wed Jun 15 20:58:48 2016 +0100 @@ -270,12 +270,15 @@ @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; idestart: ## Starts the on-board IDE -idestart: - $(BELA_IDE_RUN_COMMAND) +idestart: idestop + @printf "Starting IDE..." + @$(BELA_IDE_RUN_COMMAND) + @printf "done\n" idestop: ## Stops the on-board IDE - @echo TODO - @exit 1 + @printf "Stopping currently running IDE..." + @screen -X -S $(BELA_IDE_SCREEN_NAME) quit > /dev/null; exit 0; + @printf "done\n" BELA_IDE_STARTUP_COMMAND=printf "\#!/bin/sh\n\#\n\# This file is autogenerated by Bela. Do not edit!\n\necho Running the Bela IDE...\n$(BELA_IDE_RUN_COMMAND)\n" > $(BELA_IDE_STARTUP_SCRIPT)