diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/Makefile.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/include/Makefile.in b/src/include/Makefile.in index da76528a4..888076ee5 100644 --- a/src/include/Makefile.in +++ b/src/include/Makefile.in @@ -67,9 +67,7 @@ OSCONFSRC = $(srcdir)/stock/osconf.h osconf.h: $(OSCONFSRC) Makefile cat $(OSCONFSRC) | sed $(PROCESS_REPLACE) > osconf.new - @set -x ; if cmp -s osconf.new osconf.h ; then : osconf.h is current ; \ - else ($(RM) osconf.h ; $(CP) osconf.new osconf.h) fi - $(RM) osconf.new + $(MOVEIFCHANGED) osconf.new osconf.h ##DOS##!endif ############################################################################### |