From 889b3aed9a44940b6c04878f0626e25381eee089 Mon Sep 17 00:00:00 2001
From: Konrad Eder <konrad.alexander.eder@tum.de>
Date: Fri, 19 Jun 2020 09:35:08 +0200
Subject: [PATCH 1/2] Enable pushing output

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 230cf0249..a61f2f3e4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -334,12 +334,12 @@ jobs:
     - name: "[16.04] Elastictube1D - Python"
       script:
         - python system_testing.py -s 1dtube_py -v
-        - python push.py --test 1dtube_py
+        - python push.py --test 1dtube_py -o
 
     - name: "[16.04] Elastictube1D - C++"
       script:
         - python system_testing.py -s 1dtube_cxx -v
-        - python push.py --test 1dtube_cxx
+        - python push.py --test 1dtube_cxx -o
 
     - name: "[16.04 PETSc] OpenFOAM <-> CalculiX [FSI] [Job failure permitted]"
       script:

From 42e75153e4aaa97a527a317cac056e07fef7f199 Mon Sep 17 00:00:00 2001
From: Konrad Eder <konrad.alexander.eder@tum.de>
Date: Fri, 19 Jun 2020 12:12:43 +0200
Subject: [PATCH 2/2] Add txt filter for line number

---
 compare_results.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compare_results.sh b/compare_results.sh
index c13fa2128..cf93f120a 100644
--- a/compare_results.sh
+++ b/compare_results.sh
@@ -67,7 +67,10 @@ if [ -n "$diff_files" ]; then
     num_filter='s/(\|)\||\|>\|<//g; /[a-df-zA-Z]\|[vV]ersion/d'
     # Filter for text lines. Compare these seperately from numerical lines
     # Ignore any timestamps
-    txt_filter='s/(\|)\||\|>\|<//g; /[a-df-zA-Z]/!d; s/[0-9][0-9]:[0-9][0-9]:[0-9][0-9]//g; s/[0-9][0-9]\/[0-9][0-9]\/[0-9][0-9][0-9][0-9]//g; /Timestamp\|[rR]untime\|[vV]ersion\|[rR]evision\|Unexpected end of/d; /Run finished/q'
+    txt_filter='s/(\|)\||\|>\|<//g; /[a-df-zA-Z]/!d; s/[0-9][0-9]:[0-9][0-9]:[0-9][0-9]//g;
+                s/\[.\+\]:[0-9]\+//g; s/[0-9][0-9]\/[0-9][0-9]\/[0-9][0-9][0-9][0-9]//g;
+                /Timestamp\|[rR]untime\|[vV]ersion\|[rR]evision\|Unexpected end of/d; /Run finished/q'
+
     file1_num=$( cat "$file1" | sed "$num_filter")
     file2_num=$( cat "$file2" | sed "$num_filter")