blob: 125e9fac202e0fbb0495390bb0e8ae08d79b7c5c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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" "$@"
|