diff options
| author | jimfly01 <jim.flynn@arm.com> | 2018-11-19 13:42:45 +0000 |
|---|---|---|
| committer | Matteo Martincigh <matteo.martincigh@arm.com> | 2018-11-19 16:33:11 +0000 |
| commit | dea72860f9b41242d9c903d3e576a1358e459d49 (patch) | |
| tree | ebb78d3446305e9189d657e4920b3e1b97a3b5ec | |
| parent | 8800c00770ed14eb48045cfcf033d6b67595a126 (diff) | |
| download | armnn-dea72860f9b41242d9c903d3e576a1358e459d49.tar.gz | |
IVGCVSW-2115: Fix for unset USERNAME
* When running the script standalone USERNAME can be unset causing failure
Change-Id: Idb1752117c319c8946426efe8882f03034b2bbbf
| -rwxr-xr-x | scripts/get_compute_library.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/get_compute_library.sh b/scripts/get_compute_library.sh index 8d6fb2aaf3..6385011780 100755 --- a/scripts/get_compute_library.sh +++ b/scripts/get_compute_library.sh @@ -46,6 +46,9 @@ done DIR="$( cd -P "$( dirname "$SRC" )" >/dev/null && pwd )" pushd ${DIR} > /dev/null cd ../.. +if [ -z "$USERNAME" ]; then + USERNAME=$USER +fi if [ -z "$GITHUB_USERNAME" ]; then GITHUB_USERNAME=$USERNAME echo "setting GITHUB_USERNAME: ${GITHUB_USERNAME} use -g command line option to change" |