Print help message, if script is invoked without prefixing 'isabelle env'.
This commit is contained in:
parent
31778374ed
commit
aa7d0aec09
|
@ -129,6 +129,12 @@ do
|
||||||
shift
|
shift
|
||||||
done
|
done
|
||||||
|
|
||||||
|
if [ -z ${ISABELLE_TOOL+x} ];
|
||||||
|
then
|
||||||
|
print_help
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
ACTUAL_ISABELLE_VERSION=`$ISABELLE_TOOL version`
|
ACTUAL_ISABELLE_VERSION=`$ISABELLE_TOOL version`
|
||||||
|
|
||||||
ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL options -g dof_isabelle)"
|
ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL options -g dof_isabelle)"
|
||||||
|
|
Loading…
Reference in New Issue