From e6d187740f9101f48d781b49d5363223407226ee Mon Sep 17 00:00:00 2001
From: Ioan Sucan <isucan@willowgarage.com>
Date: Mon, 28 Jan 2013 10:46:36 -0800
Subject: [PATCH] fix #6

---
 Makefile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 Makefile

diff --git a/Makefile b/Makefile
deleted file mode 100644
index cefa649d..00000000
--- a/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-all:	
-	mkdir -p build
-	cd build && cmake .. && make
-
-clean:
-	-cd build && make clean
-	rm -rf build
-
-test: all
-	if cd build && make -k $@; then make test-results; else make test-results && exit 1; fi
-
-
-- 
GitLab