diff options
Diffstat (limited to 'Makefile.inc1')
| -rw-r--r-- | Makefile.inc1 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 1e424e0..bef7d56 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -1192,7 +1192,6 @@ check-old-libs: delete-old-dirs: @echo ">>> Removing old directories" @(for dir in ${OLD_DIRS}; do \ -# Don't fail if an old directory isn't empty. if [ -d "${DESTDIR}/$${dir}" ]; then \ rmdir -v "${DESTDIR}/$${dir}" || true; \ elif [ -L "${DESTDIR}/$${dir}" ]; then \ |
