Searched refs:NON_EXEC (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_graph55 NON_EXEC=""
68 NON_EXEC=true
134 [ -z "$NON_EXEC" ] && generate_dot "$1" "$2"
142 [ -z "$NON_EXEC" ] && generate_dot $1 "$WORKDIR/${FILENAME}.dot"
144 if [ -z "$NON_EXEC" ]; then
154 [ -z "$NON_EXEC" ] && $PDFLATEX "${FILENAME}.tex"
156 [ -z "$NON_EXEC" ] && mv $TARGET $WD
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_graph55 NON_EXEC=""
68 NON_EXEC=true
134 [ -z "$NON_EXEC" ] && generate_dot "$1" "$2"
142 [ -z "$NON_EXEC" ] && generate_dot $1 "$WORKDIR/${FILENAME}.dot"
144 if [ -z "$NON_EXEC" ]; then
154 [ -z "$NON_EXEC" ] && $PDFLATEX "${FILENAME}.tex"
156 [ -z "$NON_EXEC" ] && mv $TARGET $WD

Completed in 84 milliseconds