diff options
Diffstat (limited to '')
| -rw-r--r-- | v2/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/v2/Makefile b/v2/Makefile new file mode 100644 index 0000000..b0acb8f --- /dev/null +++ b/v2/Makefile @@ -0,0 +1,12 @@ +.POSIX: +.DEFAULT: + $(MAKE) generated.mk + $(MAKE) -f dynamic.mk $< + +all: generated.mk + $(MAKE) -f dynamic.mk all + +generated.mk: ALWAYS + sh src/development/dynmake.sh > $@ + +ALWAYS: |