diff options
| author | Glenn Morris | 2012-05-02 00:01:36 -0700 |
|---|---|---|
| committer | Glenn Morris | 2012-05-02 00:01:36 -0700 |
| commit | cd3771a08b8a1fed5aa91eb2ac559d41801668ea (patch) | |
| tree | dae71187d55e7fa3ed13e1deee673455d4b8cf29 | |
| parent | a36e64d04bd36f982cd82dfbc4eba8bf5d79cb06 (diff) | |
| download | emacs-cd3771a08b8a1fed5aa91eb2ac559d41801668ea.tar.gz emacs-cd3771a08b8a1fed5aa91eb2ac559d41801668ea.zip | |
* Makefile.in (uninstall): Remove useless-use-of-for.
For some reason it caused problems on an old Solaris.
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rw-r--r-- | Makefile.in | 4 |
2 files changed, 4 insertions, 3 deletions
| @@ -1,5 +1,8 @@ | |||
| 1 | 2012-05-02 Glenn Morris <rgm@gnu.org> | 1 | 2012-05-02 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * Makefile.in (uninstall): Remove useless-use-of-for; that for | ||
| 4 | some reason caused problems on an old Solaris. | ||
| 5 | |||
| 3 | * Makefile.in (install-arch-indep, uninstall): | 6 | * Makefile.in (install-arch-indep, uninstall): |
| 4 | Ensure that INSTALL-type commands are run from top-level. | 7 | Ensure that INSTALL-type commands are run from top-level. |
| 5 | 8 | ||
diff --git a/Makefile.in b/Makefile.in index 7ee41a5bdd5..9a9be4f0a43 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -737,9 +737,7 @@ uninstall: | |||
| 737 | $(INSTALL_INFO) --remove --info-dir=$(DESTDIR)${infodir} $(DESTDIR)${infodir}/$$elt); \ | 737 | $(INSTALL_INFO) --remove --info-dir=$(DESTDIR)${infodir} $(DESTDIR)${infodir}/$$elt); \ |
| 738 | if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \ | 738 | if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \ |
| 739 | ext=.gz; else ext=; fi; \ | 739 | ext=.gz; else ext=; fi; \ |
| 740 | for f in `ls $$elt$$ext $$elt-[1-9]$$ext $$elt-[1-9][0-9]$$ext 2>/dev/null`; do \ | 740 | rm -f $$elt$$ext $$elt-[1-9]$$ext $$elt-[1-9][0-9]$$ext; \ |
| 741 | rm -f $$f; \ | ||
| 742 | done; \ | ||
| 743 | done;) | 741 | done;) |
| 744 | (if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \ | 742 | (if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \ |
| 745 | ext=.gz; else ext=; fi; \ | 743 | ext=.gz; else ext=; fi; \ |