diff options
| author | hudeng <hudeng@uniontech.com> | 2021-06-15 17:49:34 +0800 |
|---|---|---|
| committer | hudeng <hudeng@uniontech.com> | 2021-06-15 17:49:34 +0800 |
| commit | b35c8914d9b1e048b8a13e7cdeefe8bc44b4d435 (patch) | |
| tree | c130810c3033e79af76be79277a0421663c8b963 | |
| parent | 50d821efe99cae82c05be0a4ab3b4035ef0d3883 (diff) | |
| download | distcc-git-b35c8914d9b1e048b8a13e7cdeefe8bc44b4d435.tar.gz | |
fix: make uninstall failed
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index b9ce974..51f4072 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1196,7 +1196,7 @@ uninstall-include-server: uninstall-man: for p in $(man1_MEN); do \ file="$(DESTDIR)$(man1dir)/`basename $$p`"; \ - if [ -e "$$file" ]; then rm -fv "$$file"; fi \ + if [ -e "$$file" ]; then rm -fv "$$file"; fi; \ if [ -e "$$file.gz" ]; then rm -fv "$$file.gz"; fi \ done -[ "`basename $(man1dir)`" = "$(PACKAGE)" ] && rmdir "$(DESTDIR)$(man1dir)" |