From de967c1cd5e186f19caacb35ff471f8aa62a877c Mon Sep 17 00:00:00 2001 From: Lukas Martini Date: Thu, 7 Apr 2011 19:51:18 +0200 Subject: [PATCH] Revert "Adding Makefile for easier execution" This reverts commit fed33e76faee50e197fdf82216fe5b69cecc0407. --- Makefile | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 Makefile diff --git a/Makefile b/Makefile deleted file mode 100644 index e236a127f..000000000 --- a/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -.PHONY: all debug tests - -all: - @cd bin && bash run.sh -debug: - @cd bin && bash runDebug.sh -tests: - @cd bin && bash runTests.sh