diff options
Diffstat (limited to 'contrib/Makefile')
-rw-r--r-- | contrib/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/Makefile b/contrib/Makefile new file mode 100644 index 0000000..4749630 --- /dev/null +++ b/contrib/Makefile @@ -0,0 +1,3 @@ +.PHONY: all clean +all clean: + for x in bug* ; do make -C $$x $@ || exit 1 ; done |