diff options
author | Christian Franke <chris@opensourcerouting.org> | 2018-11-01 18:14:23 +0100 |
---|---|---|
committer | Christian Franke <chris@opensourcerouting.org> | 2018-11-29 16:51:27 +0100 |
commit | 6926d304a816b6570b4c81e261f5c4d806e89a14 (patch) | |
tree | 12eda88980dbc975c72b3aa73dca252e70ae9a8f /tests | |
parent | Docker: Document additional environment variables (diff) | |
download | frr-6926d304a816b6570b4c81e261f5c4d806e89a14.tar.xz frr-6926d304a816b6570b4c81e261f5c4d806e89a14.zip |
Docker: Fail if compilation is unsucessful
Signed-off-by: Christian Franke <chris@opensourcerouting.org>
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/topotests/docker/inner/entrypoint.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/topotests/docker/inner/entrypoint.sh b/tests/topotests/docker/inner/entrypoint.sh index 37c5b75bf..f491d15f7 100755 --- a/tests/topotests/docker/inner/entrypoint.sh +++ b/tests/topotests/docker/inner/entrypoint.sh @@ -26,6 +26,8 @@ CDIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" . $CDIR/funcs.sh +set -e + # # Script begin # |