diff options
Diffstat (limited to 'csit/run-csit.sh')
| -rwxr-xr-x | csit/run-csit.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/csit/run-csit.sh b/csit/run-csit.sh index 25f5f6a77..6703160a3 100755 --- a/csit/run-csit.sh +++ b/csit/run-csit.sh @@ -26,6 +26,8 @@ WORKDIR=$(mktemp -d --suffix=-robot-workdir) # functions # +echo "---> run-csit.sh" + # wrapper for sourcing a file function source_safely() { [ -z "$1" ] && return 1 |