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 | |
| 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>
| -rw-r--r-- | devel/gmake/files/patch-aa | 21 | ||||
| -rw-r--r-- | devel/gmake381/files/patch-aa | 21 |
2 files changed, 38 insertions, 4 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 diff --git a/devel/gmake381/files/patch-aa b/devel/gmake381/files/patch-aa index bbbfaf90f347..1d250cd7957b 100644 --- a/devel/gmake381/files/patch-aa +++ b/devel/gmake381/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 |