updated according to 705d4c4003ea;
authorwenzelm
Fri, 08 Apr 2016 21:49:43 +0200
changeset 62915 0f794993485a
parent 62914 930a30c1a9af
child 62916 621afc4607ec
updated according to 705d4c4003ea;
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="$?"