diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 0c12b41..28b0094 100644 --- a/Makefile.in +++ b/Makefile.in @@ -635,10 +635,10 @@ stmp-build-host-cloog: stmp-config-host-cloog build-host-cloog: stmp-build-host-cloog stmp-install-host-cloog: stmp-build-host-cloog $(MAKE) -C ${CLOOG_VERSION} install-libLTLIBRARIES \ - install-pkgincludeHEADERS && \ + install-pkgincludeHEADERS ifneq ($(findstring ppl-,$(CLOOG_VERSION)),) $(MAKE) -C ${CLOOG_VERSION}/isl install-libLTLIBRARIES \ - install-pkgincludeHEADERS && \ + install-pkgincludeHEADERS endif $(STAMP) $@ install-host-cloog: stmp-install-host-cloog |