diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-07-12 12:07:30 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-07-12 14:58:29 +0000 |
| commit | b9754d58c294db4bce541c127d90603c9bfe2cb0 (patch) | |
| tree | 55737efc0aafc87fc76d80e2c01b7e5764126838 /tools/syz-env | |
| parent | 189e93f224aa365d476b65dc5693774254b20d8a (diff) | |
all: remove mentions of big-env
Use just env instead of that.
Diffstat (limited to 'tools/syz-env')
| -rwxr-xr-x | tools/syz-env | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/syz-env b/tools/syz-env index d41ca1726..296122f58 100755 --- a/tools/syz-env +++ b/tools/syz-env @@ -48,9 +48,7 @@ fi SCRIPT_DIR="$(CDPATH= cd -- "$(dirname -- "$0")" && pwd -P)" IMAGE="env" -if [ "$(basename -- "$0")" == "syz-big-env" ]; then - IMAGE="big-env" -elif [ "$(basename -- "$0")" == "syz-old-env" ]; then +if [ "$(basename -- "$0")" == "syz-old-env" ]; then IMAGE="old-env" fi |