| commit | 1463f74f492eea7191f0178e01f3d38371a48210 | [log] [tgz] |
|---|---|---|
| author | Masahiro Yamada <yamada.masahiro@socionext.com> | Tue Oct 08 21:05:55 2019 +0900 |
| committer | Masahiro Yamada <yamada.masahiro@socionext.com> | Mon Nov 11 20:10:01 2019 +0900 |
| tree | b6e77eec46b928288a252505171aa9522d76a444 | |
| parent | ea79e5168be644fdaf7d4e6a73eceaf07b3da76a [diff] |
kheaders: remove the last bashism to allow sh to run it 'pushd' ... 'popd' is the last bash-specific code in this script. One way to avoid it is to run the code in a sub-shell. With that addressed, you can run this script with sh. I replaced $(BASH) with $(CONFIG_SHELL), and I changed the hashbang to #!/bin/sh. Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>