diff options
author | 2021-03-11 13:42:23 +0100 | |
---|---|---|
committer | 2021-06-16 17:31:03 +0000 | |
commit | 134188daef48f9c1fadad5b26b4fb1e6417e4304 (patch) | |
tree | 05c74c5b3dee688de0d52e616a5f286a27955081 /.gitignore | |
parent | f11d35a6320c98785c6c2ec2a84c8a2988a4b732 (diff) |
[COMMON] Fix $BASH_SOURCE and pushd/popd bashisms
pointed out by checkbashisms.
Issue-ID: OOM-2643
Signed-off-by: Guillaume Lambert <guillaume.lambert@orange.com>
Change-Id: Ic9c4edc0fc6bd94a95bcb85d84379e868fb09930
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions