Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Run check-typo in Inria extra-checks

master
David Allsopp 2018-06-15 09:16:00 +01:00
parent f1815fe487
commit 225d57883d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/ci/inria/extra-checks
View File

@ -226,3 +226,11 @@ TSAN_OPTIONS="die_after_fork=0" $run_testsuite
# # Build the system (bytecode only) and test
# make $jobs world
# $run_testsuite
#########################################################################
# Ensure that the repo still passes the check-typo script
if [ ! -x tools/check-typo ] ; then
error "tools/check-typo does not appear to be executable?"
fi
tools/check-typo