drt: run-ispd uses bash for run.sh

Signed-off-by: Vitor Bandeira <[email protected]>
vvbandeira · Jul 8, 2024 · 8172f67 · 8172f67
1 parent de5f98c
commit 8172f67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/drt/test/run-ispd.py b/src/drt/test/run-ispd.py
@@ -172,7 +172,7 @@ def test_enabled(design, patterns):
                          '-j', str(args.jobs),
                          '--halt', 'never',
                          '--joblog', f"{args.workspace}/ispd-parallel.log",
-                         os.path.join(args.workspace, '{}/run.sh'),
+                         'bash', os.path.join(args.workspace, '{}/run.sh'),
                          ':::', *list(running_tests)],
                         check=True)