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

check-typo: make (--check-prune .git) work as expected

master
Gabriel Scherer 2018-07-17 09:10:19 +02:00
parent 0fa10fbd82
commit 69a4952963
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/check-typo
View File

@ -91,10 +91,12 @@ export LC_ALL=C
# Special case for recursive call from the find command (see IGNORE_DIRS).
case "$1" in
--check-prune)
case `env $OCAML_CT_GIT_INDEX git check-attr $OCAML_CT_CA_FLAG \
case $2,`env $OCAML_CT_GIT_INDEX git check-attr $OCAML_CT_CA_FLAG \
ocaml-typo "$2" 2>/dev/null` in
*prune*) echo "INFO: pruned directory $2 (ocaml-typo=prune)" >&2; exit 0;;
*) exit 3;;
*,*prune*|.git,*)
echo "INFO: pruned directory $2 (ocaml-typo=prune)" >&2
exit 0;;
*,*) exit 3;;
esac;;
esac