Sébastien Helleu c947d1575f core: exit makedist.sh script if command "cd" failed

2019-11-28 21:28:07 +01:00

..

debian/patches

debian: disable javascript plugin on Debian Sid and Ubuntu Eoan

2019-11-11 08:38:05 +01:00

build-debian.sh

core: replace "! -z" by "-n" in build-debian.sh

2019-11-28 21:27:43 +01:00

build-test.sh

core: run command and check return code on same line in tools scripts

2019-11-28 21:25:47 +01:00

git-version.sh

core: double quote variables in tools scripts

2019-11-28 21:23:59 +01:00

makedist.sh

core: exit makedist.sh script if command "cd" failed

2019-11-28 21:28:07 +01:00