From 1a79e5f0bbcb24ef72c872034451afb5c72b69ba Mon Sep 17 00:00:00 2001 From: yexin Date: Tue, 24 Jul 2018 20:45:37 +0800 Subject: 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 --- scripts/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') 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 -- cgit 1.2.3-korg