diff options
author | yexin <yexin13@huawei.com> | 2018-07-24 20:45:37 +0800 |
---|---|---|
committer | yexin <yexin13@huawei.com> | 2018-07-24 20:56:54 +0800 |
commit | 1a79e5f0bbcb24ef72c872034451afb5c72b69ba (patch) | |
tree | fb456fc545e870394f42d0a5e3145622067db5e6 /scripts | |
parent | 739fa21ba9d85582a2a996ad02d885acc4d4efe1 (diff) |
Fix: build.sh failed in zsh
Using build.sh in zsh environment has error,
put `#!/bin/bash` in the first line can solve this.
Change-Id: Ibf04662d72325bba276301791d43770e98a7fae8
Signed-off-by: yexin <yexin13@huawei.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index a440e3a..db355fd 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -1,3 +1,4 @@ +#!/bin/bash -x ######################################################################### # Copyright (c) 2018 Huawei Technologies Co.,Ltd. # Licensed under the Apache License, Version 2.0 (the "License"); @@ -12,7 +13,6 @@ # See the License for the specific language governing permissions and # limitations under the License. ######################################################################### -#!/bin/bash -x set -x |