# HG changeset patch
# User wenzelm
# Date 1460144983 -7200
# Node ID 0f794993485a911283ec25e23395065ceacf48ee
# Parent  930a30c1a9af8abd0c17b8db2ad9ef4d3a2beda7
updated according to 705d4c4003ea;

diff -r 930a30c1a9af -r 0f794993485a Admin/Release/build_library
--- a/Admin/Release/build_library	Fri Apr 08 20:52:40 2016 +0200
+++ b/Admin/Release/build_library	Fri Apr 08 21:49:43 2016 +0200
@@ -75,10 +75,8 @@
 cd *
 ISABELLE_NAME="$(basename "$PWD")"
 
-echo "ISABELLE_FULL_TEST=true" >> etc/settings
-
 env ISABELLE_IDENTIFIER="${ISABELLE_NAME}-build" \
-  ./bin/isabelle build $JOBS -s -c -a -o browser_info \
+  ./bin/isabelle build $JOBS -s -c -a -d '~~/src/Benchmarks' -o browser_info \
     -o "document=pdf" -o "document_variants=document:outline=/proof,/ML"
 RC="$?"