diff options
Diffstat (limited to 'Makefile.data')
-rw-r--r-- | Makefile.data | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Makefile.data b/Makefile.data deleted file mode 100644 index 1fc61b6..0000000 --- a/Makefile.data +++ /dev/null @@ -1,10 +0,0 @@ -clean: - make -C data clean - -build: - make -C data - -rebuild: - git reset --hard - sed -i -e "s/#define LAMBDA_PARAMETER 0.588792/#define LAMBDA_PARAMETER $(LAMBDA_PARAMETER)/" src/include/novel_types.h - make >/dev/null 2>/dev/null |