diff options
author | Steven Wallace <swallace@FreeBSD.org> | 1995-01-04 10:03:38 +0000 |
---|---|---|
committer | Steven Wallace <swallace@FreeBSD.org> | 1995-01-04 10:03:38 +0000 |
commit | 36536cfbfecc06ab2c1cc93dba5bba6befc31a39 (patch) | |
tree | a628f32d562ef9e1b5c0784826ae4bc8a9ddcaa8 /devel | |
parent | Put depends before configure. No reason that I can see for putting it after, (diff) |
Patch for mv command in Makefile.
Submitted by: Josh MacDonald, <jmacd@uclink.berkeley.edu>
Notes
Notes:
svn path=/head/; revision=700
Diffstat (limited to 'devel')
-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 |