diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-25 13:04:44 +0100 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-25 13:04:44 +0100 |
| commit | 72f58b3bc71989fb4805854a2d48fd8f64906b49 (patch) | |
| tree | d710bd2bfc7fea9f28909765ac5264c317d08223 /src | |
| parent | 481e69c86c3e33b06d9318e909cabe6de176c5f5 (diff) | |
| download | justbuild-72f58b3bc71989fb4805854a2d48fd8f64906b49.tar.gz | |
bash completion: suppress stderr produced when using -D option...
...and while there, avoid a bit of code duplication
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions