diff options
Diffstat (limited to 'winsup/w32api/lib/ddk')
| -rw-r--r-- | winsup/w32api/lib/ddk/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/winsup/w32api/lib/ddk/Makefile.in b/winsup/w32api/lib/ddk/Makefile.in index 001cd24a7..4920b3f68 100644 --- a/winsup/w32api/lib/ddk/Makefile.in +++ b/winsup/w32api/lib/ddk/Makefile.in @@ -88,7 +88,7 @@ uninstall-libraries: $(need-DESTDIR-compatibility) uninstall-headers: $(need-DESTDIR-compatibility) for file in $(HEADERS); do \ - rm -r $(DESTDIR)${ddk_includedir}/$$file; \ + rm -f $(DESTDIR)${ddk_includedir}/$$file; \ done rmdir $(DESTDIR)${ddk_includedir} |