diff options
Diffstat (limited to 'Examples/Makefile')
-rw-r--r-- | Examples/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Examples/Makefile b/Examples/Makefile index d983462..191b0f2 100644 --- a/Examples/Makefile +++ b/Examples/Makefile @@ -1,5 +1,8 @@ thornscripts = $(wildcard *.m) -thorns = ${thornscripts:.m=} + +# thorns = ${thornscripts:.m=} + +thorns = $(shell cat make.thorns) kranc = ../Bin/kranc |