diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-02-04 12:08:22 +0100 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-02-04 12:18:42 +0100 |
commit | 8f6582160a6dce81d6c6bc080d05aaa0b85d9537 (patch) | |
tree | 5e8f28f7e8751401d9ce267d2f6edb414f5d3fe2 /.ci/src | |
parent | Makefile: add a comment (diff) | |
download | config-links-8f6582160a6dce81d6c6bc080d05aaa0b85d9537.tar.gz config-links-8f6582160a6dce81d6c6bc080d05aaa0b85d9537.zip |
add an "integration" test
I noticed that doing links-update for my linux-home repository didn't
work on an old bash version. Building a test case to reproduce...
You should be able to check out this commit later and run
make test/docker/xenial
and it's supposed to fail with something like
/src/src/db.sh: line 194: wait: pid 1771 is not a child of this shell
Diffstat (limited to '.ci/src')
0 files changed, 0 insertions, 0 deletions