diff options
author | swallace <swallace@FreeBSD.org> | 1995-01-04 18:03:38 +0800 |
---|---|---|
committer | swallace <swallace@FreeBSD.org> | 1995-01-04 18:03:38 +0800 |
commit | 2ba55371e25019465a82c5e337fa746be63206d6 (patch) | |
tree | fab0d6af1028e93860342831705d3d0b4c949cfe /devel/gmake | |
parent | 4f465c5a7b842d85466b48b3a77b3c577f619841 (diff) | |
download | freebsd-ports-gnome-2ba55371e25019465a82c5e337fa746be63206d6.tar.gz freebsd-ports-gnome-2ba55371e25019465a82c5e337fa746be63206d6.tar.zst freebsd-ports-gnome-2ba55371e25019465a82c5e337fa746be63206d6.zip |
Patch for mv command in Makefile.
Submitted by: Josh MacDonald, <jmacd@uclink.berkeley.edu>
Diffstat (limited to 'devel/gmake')
-rw-r--r-- | devel/gmake/files/patch-aa | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/devel/gmake/files/patch-aa b/devel/gmake/files/patch-aa index bbbfaf90f347..1d250cd7957b 100644 --- a/devel/gmake/files/patch-aa +++ b/devel/gmake/files/patch-aa @@ -1,5 +1,5 @@ -*** Makefile.in.orig Sat May 21 22:48:31 1994 ---- Makefile.in Sun Nov 20 01:03:03 1994 +*** Makefile.in.orig Sun Nov 6 15:35:49 1994 +--- Makefile.in Tue Jan 3 20:56:32 1995 *************** *** 94,100 **** # Number to put on the man page filename. @@ -17,3 +17,20 @@ # Prefix to put on installed `make' man page file name. manprefix = $(binprefix) +*************** +*** 206,212 **** + else true; fi + # Some systems can't deal with renaming onto a running binary. + -rm -f $@.old +! -mv $@ $@.old + mv $@.new $@ + + $(infodir)/make.info: make.info +--- 206,212 ---- + else true; fi + # Some systems can't deal with renaming onto a running binary. + -rm -f $@.old +! @if [ -w $@ ]; then mv $@ $@.old; fi + mv $@.new $@ + + $(infodir)/make.info: make.info |