]> git.tue.mpg.de Git - lopsub.git/commit
projects / lopsub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a547f1) | patch
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)
commit94ee4f0831ad0c3de5eabd821a8bd42c86571a30
tree17472f9c3534542bd2f3418c251c5eacb8e89a7ftree | snapshot
parent9a547f189f01a8ff6b1a0f01f5588d53b940dedbcommit | diff
Makefile: Include Makefile.local if it exists.

This provides a way to support local recipes.
Makefile diff | blob | history
lopsub - the long option parser for subcommands