Commit b2fcbca4 authored by Gerwin Klein's avatar Gerwin Klein

update with 2021 release .tar.gz's

parent 4e172abaea0d
......@@ -122,7 +122,7 @@ if [ "$1" != "-" ]; then
mv $EXPORT.tar.gz $TARS/
echo "Generating HTML for [$@]"
$ISABELLE_TOOL afp_build -- -v -c $@ || fail "isabelle afp_build failed on [$@]"
$ISABELLE_TOOL afp_build -- -v -c -j 2 $@ || fail "isabelle afp_build failed on [$@]"
cd $EXPORT/thys
for ENTRY in $@; do
......
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment