1# C language gives closest shell env.
2language: c
3
4script:
5- git submodule update --init --recursive
6- PROVEOPT=-v make test
7