diff options
Diffstat (limited to 'util/mptable/Makefile')
| -rw-r--r-- | util/mptable/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/util/mptable/Makefile b/util/mptable/Makefile deleted file mode 100644 index f88367eb98..0000000000 --- a/util/mptable/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -CC=gcc -CFLAGS=-O2 -Wall -Wextra -Wshadow -Wno-sign-compare - -mptable: mptable.c - $(CC) $(CFLAGS) -o $@ $< - -clean: - rm -f mptable |