diff options
author | 2018-07-24 20:45:37 +0800 | |
---|---|---|
committer | 2018-07-24 20:56:54 +0800 | |
commit | 1a79e5f0bbcb24ef72c872034451afb5c72b69ba (patch) | |
tree | fb456fc545e870394f42d0a5e3145622067db5e6 /pkg | |
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 'pkg')
0 files changed, 0 insertions, 0 deletions