From 891392b9b33b90d41bf909f1d5dacd367b17991b Mon Sep 17 00:00:00 2001
From: Cheng Shao <terrorjack@type.dance>
Date: Wed, 5 Jun 2024 13:16:21 +0000
Subject: [PATCH] testsuite: bump T7653 timeout for wasm
(cherry picked from commit 2eee65e1a4f441e99b79f3dc6e7d60492e4cad78)
(cherry picked from commit 3f7b718f0dbdaf084fcc44d7abdea807e234f59f)
(cherry picked from commit 77cc78eb0ad61c57d071de3d31bb5f87b1251526)
---
libraries/base/tests/all.T | 1 +
1 file changed, 1 insertion(+)
diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T
index a954bfd1bd1..659f0f3fad0 100644
--- a/libraries/base/tests/all.T
+++ b/libraries/base/tests/all.T
@@ -185,6 +185,7 @@ test('CatEntail', normal, compile, [''])
# When running with WAY=ghci and profiled ways, T7653 uses a lot of memory.
test('T7653', [when(opsys('mingw32'), skip),
+ when(arch('wasm32'), run_timeout_multiplier(5)),
omit_ways(prof_ways+['ghci'])], compile_and_run, [''])
test('T7787', normal, compile_and_run, [''])
--
GitLab