diff options
author | Bernard Ogden <bernie.ogden@linaro.org> | 2016-03-11 15:16:54 +0000 |
---|---|---|
committer | Bernard Ogden <bernie.ogden@linaro.org> | 2016-03-11 15:16:54 +0000 |
commit | f93e2c61f91c7c2a7c7c97bdb877b6d87506adfe (patch) | |
tree | 4db088c910dc80ff1ef39d464a27c746e0d056f3 | |
parent | 0e14a4a5a5db030aed247c0df513a02eeb65ee69 (diff) |
Pedantically remove last bit of global namespace pollution
Change-Id: I074e197885c841e8cc61e96ff90c52eb9f980194
-rwxr-xr-x | scripts/Benchmark.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/Benchmark.sh b/scripts/Benchmark.sh index 0ee9fde7..17e7e0a5 100755 --- a/scripts/Benchmark.sh +++ b/scripts/Benchmark.sh @@ -459,6 +459,7 @@ EOF EOF fi done +unset role #Fill in metadata for role in "${ROLES[@]}"; do @@ -470,6 +471,7 @@ for role in "${ROLES[@]}"; do sed -i "/metadata_${role}:/d" "${WORKING_FILE}" fi done +unset role exec 1>&${STDOUT} cat "${WORKING_FILE}" |