fix dist make target

diff --git a/Makefile b/Makefile
index 544fc54f2b184a281413cd01634ac1e7c2cc26da..94994c052cf0acf7266a7504d25f7578c6b54372 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -259,7 +259,7 @@ dist: clean-core
        @echo -n "release" >$(TMPDIR)/$(ARCHIVE)/$(DISTFILE)
        @path="$(TMPDIR)/$(ARCHIVE)/$(notdir $(SYSDIR))";\
         for i in `ls -A -I ".*" $$path`; do if [ -f "$$path/$$i/nonpublic.mk" ]; then rm -rf "$$path/$$i"; fi; if [ -f "$$path/$$i/nonpublic.sh" ]; then (cd $$path/$$i ; source ./nonpublic.sh ; rm ./nonpublic.sh); fi; done
-       @strip --strip-unneeded --preserve-dates $(TMPDIR)/$(ARCHIVE)/$(notdir $(PREDIR))/*
+       @strip --strip-unneeded --preserve-dates $(TMPDIR)/$(ARCHIVE)/$(notdir $(PREDIR))/* || true
        @tar czf vdr-$(ARCHIVE).tar.gz -C $(TMPDIR) $(ARCHIVE)
        @-rm -rf $(TMPDIR)/$(ARCHIVE)
        @echo Distribution package created as vdr-$(ARCHIVE).tar.gz