diff options
Diffstat (limited to 'extensions')
| -rw-r--r-- | extensions/GNUmakefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extensions/GNUmakefile.in b/extensions/GNUmakefile.in index 8d44e4e1..4a3bf4e4 100644 --- a/extensions/GNUmakefile.in +++ b/extensions/GNUmakefile.in @@ -67,7 +67,7 @@ all: ${targets} install: ${targets_install} @mkdir -p "${DESTDIR}${xtlibdir}"; - install -pm0755 $^ "${DESTDIR}${xtlibdir}/"; + if test -n "${targets_install}"; then install -pm0755 $^ "${DESTDIR}${xtlibdir}/"; fi; clean: rm -f *.o *.oo *.so *.a {matches,targets}[46].man initext4.c initext6.c; |