diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-01-12 20:40:30 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-01-12 20:40:30 +0100 |
| commit | df79c94e9ca59698e94a6252eac381e7d59f9b49 (patch) | |
| tree | 0abb0797042190e8abd48e48f057d1a080626a36 | |
| parent | 8f075593499f3ffba9b688cf214b0ed1fe66f155 (diff) | |
| download | ghdl-df79c94e9ca59698e94a6252eac381e7d59f9b49.tar.gz ghdl-df79c94e9ca59698e94a6252eac381e7d59f9b49.tar.bz2 ghdl-df79c94e9ca59698e94a6252eac381e7d59f9b49.zip | |
travis: Use an external script to build and test.
| -rw-r--r-- | .travis.yml | 8 | ||||
| -rwxr-xr-x | dist/travis-ci.sh | 15 |
2 files changed, 16 insertions, 7 deletions
diff --git a/.travis.yml b/.travis.yml index db9feb8cc..22b042efd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,10 +4,4 @@ addons: apt: packages: - gnat -script: - - ./configure - - make - - export GHDL=$PWD/ghdl_mcode - - cd testsuite - - gnatmake get_entities - - ./testsuite.sh +script: ./dist/travis-ci.sh diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh new file mode 100755 index 000000000..87b0c4612 --- /dev/null +++ b/dist/travis-ci.sh @@ -0,0 +1,15 @@ +#! /bin/sh +# This script is executed in the travis-ci environment. + +# Stop in case of error +set -e + +# Build +./configure +make + +# Test +export GHDL=$PWD/ghdl_mcode +cd testsuite +gnatmake get_entities +./testsuite.sh |