From 5245ad45326296ca9983cb7c97fd46667864538f Mon Sep 17 00:00:00 2001
From: Wouter Deconinck <wdconinc@gmail.com>
Date: Fri, 27 May 2022 03:15:18 +0000
Subject: [PATCH] Increase generate_prim_file timeout even more
---
bin/generate_prim_file | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/generate_prim_file b/bin/generate_prim_file
index 3a47a02..b1e1818 100755
--- a/bin/generate_prim_file
+++ b/bin/generate_prim_file
@@ -52,7 +52,7 @@ parser.add_argument('-t', '--tag', type=str,dest='file_tag',
help='Output file tag')
parser.add_argument('--timeout', type=int,
- default=300,
+ default=3600,
help='Timeout in seconds')
parser.add_argument('passthrough', nargs='*')
--
GitLab