diff options
author | Ben Laurie <ben@links.org> | 2016-10-01 12:40:58 +0100 |
---|---|---|
committer | Ben Laurie <ben@links.org> | 2016-10-02 23:12:15 +0100 |
commit | d423c5ad6509293a29a308919c696515d29e5e3f (patch) | |
tree | 6f4fc97a543ec70b94d11838a4ddfb5fca45c79e /Configurations | |
parent | a29fa98cebdb2904dcf844d1aea7d1be3b6b913a (diff) |
Make dependencies if Makefile is new.
Reviewed-by: Richard Levitte <levitte@openssl.org>
Diffstat (limited to 'Configurations')
-rw-r--r-- | Configurations/unix-Makefile.tmpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index bb7ce1c8f0..d0d56e5b6f 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; \ |