nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed bug in md5 check.

This commit is contained in:
Achim D. Brucker 2019-01-06 11:48:02 +00:00
parent dcafa93ae0
commit af8d65b456
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
install
View File

@ -96,7 +96,7 @@ check_isa_dof_patch() {
echo "* Check availabilty of Isabelle/DOF patch:"
src="patches/thy_output.ML"
dst="$ISABELLE_HOME/src/Pure/Thy/thy_output.ML"
if [[ $(md5sum "$src") = $(md5sum "$dst") ]]; then
if [[ $(md5sum "$src" | cut -d' ' -f1) = $(md5sum "$dst" | cut -d' ' -f1) ]]; then
echo " Success: latest Isabelle/DOF patch already applied"
if isabelle process -e 'Thy_Output.set_meta_args_parser' &> /dev/null ; then
true