From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 31 Oct 2023 20:55:53 +0000 (+0100)
Subject: Makefile: Include Makefile.local if it exists.
X-Git-Url: http://git.tuebingen.mpg.de/?p=lopsub.git;a=commitdiff_plain;h=94ee4f0831ad0c3de5eabd821a8bd42c86571a30

Makefile: Include Makefile.local if it exists.

This provides a way to support local recipes.
---

diff --git a/Makefile b/Makefile
index 97d135a..ac9656e 100644
--- 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