diff options
| author | Adeel Mujahid <3840695+am11@users.noreply.github.com> | 2020-12-23 03:52:26 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-23 03:52:26 +0300 |
| commit | 8f463670ed885a3a70e1ac87809b8eda2926fc4d (patch) | |
| tree | 44bd6d4f034dc0826f1d65aade2c34bf76f752d8 /src/coreclr/enablesanitizers.sh | |
| parent | 7a02953aefe74050837164d9c0ec141aed2cbf8d (diff) | |
Replace AWK with Bash scripts (#46313)
* Replace AWK with Bash scripts
* Replace awk usage with Bash or POSIX tr
* Simplify genmoduleindex.sh
Diffstat (limited to 'src/coreclr/enablesanitizers.sh')
| -rwxr-xr-x | src/coreclr/enablesanitizers.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/coreclr/enablesanitizers.sh b/src/coreclr/enablesanitizers.sh index aedb95d0d6b..63a1e02ba09 100755 --- a/src/coreclr/enablesanitizers.sh +++ b/src/coreclr/enablesanitizers.sh @@ -3,7 +3,7 @@ if [ $# -eq 0 ]; then echo "Script for enabling CLang sanitizers for debug builds." echo "*Only tested on Ubuntu x64." - echo "*This script must be 'sourced' (via dot+space) so that changes to environment variables are preserved. Run like this:" + echo "*This script must be 'sourced' (via dot+space) so that changes to environment variables are preserved. Run like this:" if [ "$(dirname $0)" = "." ]; then echo " . enablesanitizers.sh [options]" else @@ -30,7 +30,7 @@ else for i in "$@" do - lowerI="$(echo $i | awk '{print tolower($0)}')" + lowerI="$(echo $i | tr "[:upper:]" "[:lower:]")" case $lowerI in asan) __EnableASan=1 |