diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/run_tests.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/run_tests.sh b/ci/run_tests.sh index ff477e7..9525422 100755 --- a/ci/run_tests.sh +++ b/ci/run_tests.sh @@ -98,5 +98,9 @@ pushd c_header_only "$fpm" build popd +pushd c_main +"$fpm" run +popd + # Cleanup rm -rf ./*/build |