From fed33e76faee50e197fdf82216fe5b69cecc0407 Mon Sep 17 00:00:00 2001 From: Lukas Martini Date: Thu, 7 Apr 2011 19:42:50 +0200 Subject: [PATCH] Adding Makefile for easier execution --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..e236a127 --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +.PHONY: all debug tests + +all: + @cd bin && bash run.sh +debug: + @cd bin && bash runDebug.sh +tests: + @cd bin && bash runTests.sh