diff options
-rw-r--r-- | testsuite/testenv.sh | 6 |
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 () { |