diff options
Diffstat (limited to 'cleave/makefile')
| -rw-r--r-- | cleave/makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/cleave/makefile b/cleave/makefile deleted file mode 100644 index 33665b5c..00000000 --- a/cleave/makefile +++ /dev/null @@ -1,7 +0,0 @@ -cleave: cleave.cc makefile - c++ -O3 -Wall -Wextra -fno-strict-aliasing cleave.cc -o cleave - -.PHONY: clean - -clean: - -rm cleave |