diff options
| author | Sander Vrijders <[email protected]> | 2017-10-30 16:18:59 +0100 |
|---|---|---|
| committer | Dimitri Staessens <[email protected]> | 2017-10-30 16:29:23 +0100 |
| commit | f5c60ee47c097d7408470e4be6182bf9ee684e84 (patch) | |
| tree | c2b47fdff985bf1d755b06467d22bbcaa0484ace /include | |
| parent | 81cc401a4ef05a6bc5bcbda5ad27f8a60706aa02 (diff) | |
| download | ouroboros-f5c60ee47c097d7408470e4be6182bf9ee684e84.tar.gz ouroboros-f5c60ee47c097d7408470e4be6182bf9ee684e84.zip | |
build: Improve bash scripts
This improves the bash scripts so they are less error prone. Mistakes
were found using the parser on shellcheck.net
Signed-off-by: Sander Vrijders <[email protected]>
Signed-off-by: Dimitri Staessens <[email protected]>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions