From 6926d304a816b6570b4c81e261f5c4d806e89a14 Mon Sep 17 00:00:00 2001
From: Christian Franke <chris@opensourcerouting.org>
Date: Thu, 1 Nov 2018 18:14:23 +0100
Subject: [PATCH] Docker: Fail if compilation is unsucessful

Signed-off-by: Christian Franke <chris@opensourcerouting.org>
---
 tests/topotests/docker/inner/entrypoint.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/topotests/docker/inner/entrypoint.sh b/tests/topotests/docker/inner/entrypoint.sh
index 37c5b75bf7..f491d15f79 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
 #
-- 
2.39.5