From 10fb6d0a0afde79338c3d35fadacd2f2477d70f2 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 30 Aug 2024 19:06:54 +0200
Subject: [PATCH] Disable awk verification

It seems to be causing problems with the CI output log.
---
 fpga/run-remotely.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/fpga/run-remotely.sh b/fpga/run-remotely.sh
index 74cbe0f..550db92 100755
--- a/fpga/run-remotely.sh
+++ b/fpga/run-remotely.sh
@@ -18,4 +18,5 @@ fpga/upload.sh "$dst"
 
 # Launch the pipeline from there
 set +x
-ssh fpgalogin1 "$path/run-login.sh" "$path" | awk -f fpga/verify.awk
+#ssh fpgalogin1 "$path/run-login.sh" "$path" | awk -f fpga/verify.awk
+ssh fpgalogin1 "$path/run-login.sh" "$path"