diff options
| author | Jade Lovelace <lix@jade.fyi> | 2024-05-15 13:09:05 -0700 |
|---|---|---|
| committer | jade <lix@jade.fyi> | 2024-05-15 20:18:50 +0000 |
| commit | 03655c310dccd4f6d61af262ccf886b7e3906fe4 (patch) | |
| tree | a9a3be88b971501706c0e7c445e9ca67c30bcd44 /doc/manual/src/installation/installation.md | |
| parent | f6397cc286d97fec725af75ebdfe967b166f23e5 (diff) | |
build-release-notes: fail if the directory does not exist
This was a combination of two problems: the python didn't throw an error
because apparently glob on a nonexistent directory doesn't crash, and
secondarily, bash ignores bad exit codes without `set -e` if they are
not in the final/only command.
Change-Id: I812bde7a4daee5c77ffe9d7c73a25fd14969f548
Diffstat (limited to 'doc/manual/src/installation/installation.md')
0 files changed, 0 insertions, 0 deletions