From 73e79d480a4678ebaf1216031e820c7d33696022 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)
---
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 c1296512134..f6b24c93948 100644
--- a/libraries/base/tests/all.T
+++ b/libraries/base/tests/all.T
@@ -187,6 +187,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_ways)], compile_and_run, [''])
test('T7787', normal, compile_and_run, [''])
--
GitLab