mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-20 11:40:18 +02:00
(dist-hook): Make sure $(distdir)/Makefile.in is writable before
modifying it.
This commit is contained in:
parent
07b15be28b
commit
7ceac84eea
1 changed files with 1 additions and 1 deletions
|
@ -63,4 +63,4 @@ dist-hook:
|
||||||
sed -e 's|\([ ]\)\(\.\./\(\|libguile/\|guile-readline/\)[a-z_-]*\.h\)|\1$$(srcdir)/\2|g' $(distdir)/Makefile.in \
|
sed -e 's|\([ ]\)\(\.\./\(\|libguile/\|guile-readline/\)[a-z_-]*\.h\)|\1$$(srcdir)/\2|g' $(distdir)/Makefile.in \
|
||||||
| sed -e 's|\$$(srcdir)/\(\.\./libguile/\(libpath\|scmconfig\|versiondat\)\)|\1|g' \
|
| sed -e 's|\$$(srcdir)/\(\.\./libguile/\(libpath\|scmconfig\|versiondat\)\)|\1|g' \
|
||||||
| sed -e 's|\.\./guile-readline/\([a-z_-]*\.x\)|\1|g' > $$temp \
|
| sed -e 's|\.\./guile-readline/\([a-z_-]*\.x\)|\1|g' > $$temp \
|
||||||
&& cp -p $$temp $(distdir)/Makefile.in)
|
&& chmod u+w $(distdir)/Makefile.in && cp -p $$temp $(distdir)/Makefile.in)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue