diff options
Diffstat (limited to 'wrappers/count-wrapper.sh')
| -rwxr-xr-x | wrappers/count-wrapper.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/wrappers/count-wrapper.sh b/wrappers/count-wrapper.sh new file mode 100755 index 00000000..125e9fac --- /dev/null +++ b/wrappers/count-wrapper.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +set -euf -o pipefail + +orig_tool="#ORIG_TOOL#" +log="#SHADOW_TOP#-counts/$(basename "$0")" + +( + /usr/bin/flock -e 9 + + echo "$0 $*" >>"$log" +) 9>>"$log" + +exec "$orig_tool" "$@" |