Commit 13c16d45 authored by F-WRunTime's avatar F-WRunTime

Fixing missing failure

parent b309e5bd
...@@ -76,7 +76,7 @@ docker_exec () { ...@@ -76,7 +76,7 @@ docker_exec () {
on_failure() { on_failure() {
notif "Something went wrong. Running cleanup..." notif "Something went wrong. Running cleanup..."
notif "Creating Tar of Proof Results" notif "Creating Tar of Proof Results"
docker_exec tar -czvf results.tar.gz kout/proofs docker exec ${CONTAINER_NAME} tar -czvf results.tar.gz kout/proofs
notif "Copying Tests Results to Host" notif "Copying Tests Results to Host"
blank_line blank_line
...@@ -94,7 +94,7 @@ on_failure() { ...@@ -94,7 +94,7 @@ on_failure() {
notif "Cleanup complete." notif "Cleanup complete."
blank_line blank_line
return 1 exit 1
} }
# Set up the trap to run the function on failure # Set up the trap to run the function on failure
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment