index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2023-05-22 16:22:29 +0200 |
---|---|---|
committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2023-05-22 16:22:29 +0200 |
commit | 62f871fb25b70860364b0023745c0f31516e69d0 (patch) | |
tree | 8efdaff49293547ee945ff0d10612187a3b06594 /bin/get-assignment | |
parent | d14686b0bdc0b2418300c5d34d5f13c19988f020 (diff) |
-rwxr-xr-x | bin/get-assignment | 1 |
diff --git a/bin/get-assignment b/bin/get-assignment index 6abfaef..25281e6 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -96,6 +96,7 @@ if ! verbose_flock -s -n 8; then fi clean_up() { + # shellcheck disable=SC2317 rm -rf --one-file-system "${tmp_dir}" } |