*** empty log message ***

diff --git a/tools/release.sh b/tools/release.sh
index e141fe602656446a5f5faef338cb7cd27db5a927..3ed609c499c3692245fa6efd8a3c69237d3cd116 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -272,7 +272,7 @@ then        echo " * Indexing packages"
        echo " * Transfering $PACKAGEDIR to $RELEASEPACKAGE"
        cp $PACKAGEDIR/* $RELEASEPACKAGE/
        echo " * Transfering $PACKAGESOURCEDIR to $RELEASEPACKAGESOURCES"
-       cp $PACKAGESOURCEDIR/* $RELEASEPACKAGESOURCES/
+       cp $PACKAGESOURCEDIR/* $RELEASEPACKAGESOURCES/ || true
 
 fi