summaryrefslogtreecommitdiff
path: root/tests/hana/run-test.sh
blob: 410f9b4d77558e6fea63a2c9f6911d51a33348c0 (plain)
1
2
#!/bin/bash
exec ${MAKE:-make} -f ../tools/autotest.mk EXTRA_FLAGS="-l hana_vlib.v" test_*.v