forked from Isabelle_DOF/Isabelle_DOF
Print status.
This commit is contained in:
parent
990c6f7708
commit
3aa1b45837
|
@ -1,7 +1,9 @@
|
|||
#!/bin/sh
|
||||
|
||||
DIRREGEXP="\\.\\./"
|
||||
|
||||
echo "Checking for references pointing outside of session directory:"
|
||||
echo "=============================================================="
|
||||
|
||||
REGEXP=$DIRREGEXP
|
||||
DIR=$DIRMATCH
|
||||
failed=0
|
||||
|
|
Loading…
Reference in New Issue