diff options
Diffstat (limited to 'Examples/Makefile')
| -rw-r--r-- | Examples/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Examples/Makefile b/Examples/Makefile index efe5bbc..d983462 100644 --- a/Examples/Makefile +++ b/Examples/Makefile @@ -7,6 +7,7 @@ all: $(thorns) $(thorns): % : %.m $(kranc) $< + @if [ -r tests/$@ ]; then ln -sfh ../tests/$@ $@/test; fi clean: rm -rf $(thorns) |