diff options
author | Robin Gareus <robin@gareus.org> | 2016-12-28 00:39:37 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-12-28 00:39:37 +0100 |
commit | f71b91e8f1dc3af2fc4f05e8b86e458c727c6762 (patch) | |
tree | d7a21a6e347bb1a57f68052483beb663f4006298 | |
parent | f76e8868ef8d801b6e114e54f172c4a69ad83967 (diff) |
remove old unhelpful Makefile
-rw-r--r-- | Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 4e0908e4cd..0000000000 --- a/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -all: waf - -waf: - ./waf -cscope: cscope.out - -cscope.out: cscope.files - cscope -b - -cscope.files: - find . -name '*.[ch]' -o -name '*.cc' > $@ - -.PHONY: all cscope.files sconsi cscope waf |