aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--testsuite/testenv.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh
index 5e8478195..eec062d78 100644
--- a/testsuite/testenv.sh
+++ b/testsuite/testenv.sh
@@ -101,6 +101,12 @@ elab_simulate_failure ()
$@ --expect-failure
}
+synth()
+{
+ echo "Synthesis of $@"
+ "$GHDL" --synth $@
+}
+
# Check if a feature is present
ghdl_has_feature ()
{