]> git.tue.mpg.de Git - lopsub.git/commitdiff
Makefile: Include Makefile.local if it exists.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 31 Oct 2023 20:55:53 +0000 (21:55 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 Nov 2023 14:03:13 +0000 (15:03 +0100)
This provides a way to support local recipes.

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