diff --git a/Makefile b/Makefile deleted file mode 100644 index cefa649d9e09022fd7a9df4f3a78a671487dc9e3..0000000000000000000000000000000000000000 --- 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 - -