changeset 59993 | 8f6cacc87f42 |
parent 53913 | 5ff12177a067 |
child 60191 | 46a353f6aa39 |
--- a/Admin/Release/build_library Thu Apr 09 22:53:26 2015 +0200 +++ b/Admin/Release/build_library Thu Apr 09 22:56:31 2015 +0200 @@ -75,7 +75,6 @@ cd * ISABELLE_NAME="$(basename "$PWD")" -echo "Z3_NON_COMMERCIAL=yes" >> etc/settings echo "ISABELLE_FULL_TEST=true" >> etc/settings echo -n > src/Doc/ROOT