diff options
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/fileset/benchmark.sh | 1 | ||||
| -rwxr-xr-x | lib/fileset/tests.sh | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/lib/fileset/benchmark.sh b/lib/fileset/benchmark.sh index ee861ad3c38..59ddb6d49af 100755 --- a/lib/fileset/benchmark.sh +++ b/lib/fileset/benchmark.sh @@ -1,5 +1,6 @@ #!/usr/bin/env nix-shell #!nix-shell -i bash -p sta jq bc nix -I nixpkgs=../.. +# shellcheck disable=SC2016 # Benchmarks lib.fileset # Run: diff --git a/lib/fileset/tests.sh b/lib/fileset/tests.sh index 1a8f1372ebf..ce936a9b022 100755 --- a/lib/fileset/tests.sh +++ b/lib/fileset/tests.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash +# shellcheck disable=SC2016 # Tests lib.fileset # Run: @@ -178,6 +179,7 @@ checkFileset() ( } # This will trigger when this subshell exits, no matter if successful or not # After exiting the subshell, the parent shell will continue executing + # shellcheck disable=SC2154 trap 'kill "${watcher_PID}"' exit # Synchronously wait until inotifywait is ready |