diff options
Diffstat (limited to 'tests/svinterfaces/run-test.sh')
| -rwxr-xr-x | tests/svinterfaces/run-test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/svinterfaces/run-test.sh b/tests/svinterfaces/run-test.sh index 9ef53926c..afa222766 100755 --- a/tests/svinterfaces/run-test.sh +++ b/tests/svinterfaces/run-test.sh @@ -4,3 +4,4 @@ ./runone.sh svinterface_at_top ./run_simple.sh load_and_derive +./run_simple.sh resolve_types |