]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - Makefile
Makefile: Include Makefile.local if it exists.
[lopsub.git] / Makefile
index 97d135a069773da221e44ade4915fd194c83602d..ac9656eda6d2737a52d36de816d8f16850365d10 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -151,4 +151,4 @@ clean:
 distclean: clean
        $(RM) *.lsg.c *.lsg.h lopsubgen.c config_file.c lopsubgen-stage1 \
                lopsub.h lopsub.7 lopsub-suite.5 version.c
-
+-include Makefile.local