diff options
Diffstat (limited to 'winsup/Makefile.in')
| -rw-r--r-- | winsup/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/winsup/Makefile.in b/winsup/Makefile.in index c55201d51..29ef22abe 100644 --- a/winsup/Makefile.in +++ b/winsup/Makefile.in @@ -82,7 +82,7 @@ $(SUBDIRS): @${MAKE} -C $@ all || ([ "$@" == doc ] && echo "*** error ignored") $(INSTALL_SUBDIRS): - @${MAKE} -C $(patsubst install_%,%,$@) install + @${MAKE} -C $(patsubst install_%,%,$@) install || ([ "$@" == install_doc ] && echo "*** error ignored") $(CLEAN_SUBDIRS): @if cd $(patsubst clean_%,%,$@) 2>/dev/null; then \ |