diff options
Diffstat (limited to 'src/config/pre.in')
| -rw-r--r-- | src/config/pre.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/config/pre.in b/src/config/pre.in index 98c2a71b80..1c151bb075 100644 --- a/src/config/pre.in +++ b/src/config/pre.in @@ -258,7 +258,7 @@ STOP_SERVERS_LOCAL = $(STESTDIR)/scripts/stop_servers_local transform = @program_transform_name@ RM = rm -f -CP = cp +CP = cp MV = mv -f CHMOD=chmod RANLIB = @RANLIB@ @@ -274,6 +274,7 @@ AUTOCONF = autoconf AUTOCONFFLAGS = AUTOHEADER = autoheader AUTOHEADERFLAGS = +MOVEIFCHANGED = $(SRCTOP)/config/move-if-changed HOST_TYPE = @HOST_TYPE@ SHEXT = @SHEXT@ |