diff options
| author | Sanqui <gsanky@gmail.com> | 2017-03-21 17:08:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-21 17:08:02 +0100 |
| commit | 30ccec783358f2bf12a414ff94503bccd387595a (patch) | |
| tree | 23738a08ddb10c68d2ef51802077d9e8b050ec62 | |
| parent | 365d98d189a6bf541a9d6e2cc83407114c080858 (diff) | |
Add Travis CI configuration (#359)
| -rw-r--r-- | .travis.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 000000000..897bb9770 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,25 @@ +language: c +install: + - |- + path="$(pwd)"; cd; + wget https://github.com/rednex/rgbds/archive/v0.2.5.tar.gz -O rgbds.tar.gz && + tar xf rgbds.tar.gz && + cd rgbds-0.2.5 && + 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 crystal crystal11 + - make compare +# - check_status + |