Merge pull request #5 from TechDotIO/fix-compilation-error-does-not-fail

Fix: compilation error should not succeed
TechDotIO · Apr 9, 2018 · 7dd69d9 · 7dd69d9
2 parents 9586852 + 531ff14
commit 7dd69d9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM gcc:7.1
+FROM gcc:7.3
 
 COPY entrypoint.sh /
 COPY build.sh /project/build

diff --git a/entrypoint.sh b/entrypoint.sh
@@ -4,12 +4,12 @@ cd /project/target
 
 # Compile
 if make > /tmp/compilation_logs 2>&1; then
-	echo "CG> redirect-streams \"Test results\""
+	echo "TECHIO> redirect-streams \"Test results\""
 
 	# Execute test
 	"$@"
 else
-	echo "CG> redirect-streams \"Compilation logs\""
-
+	echo "TECHIO> redirect-streams \"Compilation logs\""
 	cat /tmp/compilation_logs
+	echo "TECHIO> success false"
 fi