diff options
author | 2019-10-08 21:05:55 +0900 | |
---|---|---|
committer | 2019-11-11 20:10:01 +0900 | |
commit | 1463f74f492eea7191f0178e01f3d38371a48210 (patch) | |
tree | b6e77eec46b928288a252505171aa9522d76a444 /tools/perf/scripts/python/export-to-postgresql.py | |
parent | kheaders: optimize header copy for in-tree builds (diff) | |
download | linux-dev-1463f74f492eea7191f0178e01f3d38371a48210.tar.xz linux-dev-1463f74f492eea7191f0178e01f3d38371a48210.zip |
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>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions