Omit checking local ROOTS for AFP entries.

2019-01-08 20:28:44 +00:00 · 2019-01-08 20:28:44 +00:00 · 471af0e711
parent 903fc76875
commit 471af0e711
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -80,7 +80,7 @@ check_afp_entries() {
    missing=""
    required="Regular-Sets Functional-Automata"
    for afp in $required; do 
-        res=`$ISABELLE build -n -d . $afp 2>/dev/null || true`
+        res=`$ISABELLE build -n $afp 2>/dev/null || true`
        if [ "$res" != "" ]; then 
            echo "  Success: found APF entry $afp."
        else