diff options
| author | Ben Laurie <ben@links.org> | 2016-10-01 12:40:58 +0100 |
|---|---|---|
| committer | Ben Laurie <ben@links.org> | 2016-10-02 22:58:59 +0100 |
| commit | 941005df14e249fc2133240fe46884acd908b83e (patch) | |
| tree | a7939cf61b57310dfb01a4f5db585f810136cf5b /Configurations | |
| parent | dc2a7e42a2df59a344804d5cb23e5893b4842aa3 (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 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; \ |