diff options
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rw-r--r-- | Makefile.in | 2 |
2 files changed, 4 insertions, 1 deletions
@@ -1,5 +1,8 @@ Tue Jul 27 12:43:40 1993 Jim Kingdon (kingdon@lioth.cygnus.com) + * Makefile.in (install-dirs): Deal with a prefix like /gnu; + its parent is '/' not ''. + * Makefile.in (DEVO_SUPPORT): Add comments about ChangeLog. Fri Jul 23 09:53:37 1993 Jason Merrill (jason@wahini.cygnus.com) diff --git a/Makefile.in b/Makefile.in index 1893df9..9daf3f4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -882,7 +882,7 @@ MAKEDIRS= \ install-dirs: @for i in $(MAKEDIRS) ; do \ echo Making $$i... ; \ - parent=`echo $$i|sed -e 's@/[^/]*$$@@'`; \ + parent=`echo $$i | sed -e 's@/[^/]*$$@@' | sed -e 's@^$@/@'`; \ if [ -d $$parent ] ; then true ; else mkdir $$parent ; fi ; \ if [ ! -d $$i ] ; then \ if mkdir $$i ; then \ |