diff options
Diffstat (limited to 'scripts/env')
| -rwxr-xr-x | scripts/env | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/env b/scripts/env index 24d4bec64f..5542b2017b 100755 --- a/scripts/env +++ b/scripts/env @@ -1,6 +1,7 @@ #!/usr/bin/env bash BASEDIR="$PWD" ENVDIR="$PWD/env" +export GREP_OPTIONS= usage() { cat <<EOF |