diff options
-rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..d0f0d472 --- /dev/null +++ b/Makefile | |||
@@ -0,0 +1,7 @@ | |||
1 | .POSIX: | ||
2 | |||
3 | all: | ||
4 | +gmake -f GNUmakefile all | ||
5 | |||
6 | .DEFAULT: | ||
7 | +gmake -f GNUmakefile $< | ||