Skip to content
Snippets Groups Projects
Commit e6d18774 authored by Ioan Sucan's avatar Ioan Sucan
Browse files

fix #6

parent 7dc6473c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 12 deletions
Makefile deleted 100644 → 0
+ 0
− 12
View file @ 7dc6473c
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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment