From 941005df14e249fc2133240fe46884acd908b83e Mon Sep 17 00:00:00 2001 From: Ben Laurie Date: Sat, 1 Oct 2016 12:40:58 +0100 Subject: [PATCH] Make dependencies if Makefile is new. Reviewed-by: Richard Levitte --- Configurations/unix-Makefile.tmpl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index 5e21e7f00d..140ae31f02 100644 --- a/Configurations/unix-Makefile.tmpl +++ b/Configurations/unix-Makefile.tmpl @@ -307,7 +307,7 @@ distclean: clean # concatenate only if that is true. depend: @: {- output_off() if $disabled{makedepend}; "" -} - @if [ -n "`find $(DEPS) -newer Makefile 2>/dev/null; exit 0`" ]; then \ + @if egrep "^# DO NOT DELETE THIS LINE" Makefile >/dev/null && [ -z "`find $(DEPS) -newer Makefile 2>/dev/null; exit 0`" ]; then :; else \ ( sed -e '/^# DO NOT DELETE THIS LINE.*/,$$d' < Makefile; \ echo '# DO NOT DELETE THIS LINE -- make depend depends on it.'; \ echo; \ -- 2.25.1