Remove option model-checker/hash; This is always activated now.

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index b0a94b4..4b6c154 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -59,6 +59,7 @@ done
 
 if [ -e /opt/simgrid ] ; then chmod -x /opt/simgrid; fi
 
+set +e # Don't fail
 if [ -e /usr/bin/linkchecker ] ; then
   linkchecker --no-status -o csv --ignore-url='.*\.css$' --ignore-url=public/java/org build/html \
      | grep -v '^#' \