summaryrefslogtreecommitdiff
path: root/src/tools/irm/irm.c
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@ugent.be>2017-10-30 16:18:59 +0100
committerDimitri Staessens <dimitri.staessens@ugent.be>2017-10-30 16:29:23 +0100
commitf5c60ee47c097d7408470e4be6182bf9ee684e84 (patch)
treec2b47fdff985bf1d755b06467d22bbcaa0484ace /src/tools/irm/irm.c
parent81cc401a4ef05a6bc5bcbda5ad27f8a60706aa02 (diff)
downloadouroboros-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 <sander.vrijders@ugent.be> Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'src/tools/irm/irm.c')
0 files changed, 0 insertions, 0 deletions