| 12345678910111213141516171819202122232425 |
- language: c
- install:
- - |-
- path="$(pwd)"; cd;
- wget https://github.com/rednex/rgbds/archive/v0.3.3.tar.gz -O rgbds.tar.gz &&
- tar xf rgbds.tar.gz &&
- cd rgbds-0.3.3 &&
- sudo make install &&
- cd - &&
- rm -rf rgbds &&
- cd "$path"
- before_script:
- - |-
- function check_status() {
- if ! git diff-index --quiet --ignore-submodules=all HEAD --; then
- echo 'Uncommitted changes detected:';
- git diff-index HEAD --;
- return 1;
- fi;
- }
- script:
- - make -j2
- - make compare
- - check_status
|
