diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-15 17:48:19 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-15 17:48:19 -0700 |
| commit | 065b31e17c4f5ea61aa15af8fb8af5bdecde796f (patch) | |
| tree | 261ef8495bb2a24cf69f4aa57ef9cb7acb2473f1 | |
| parent | f474ac349069ad5c07050a54fbd0a10262acd23c (diff) | |
| parent | 16374c5e66fe44774665b33120b98526f5499940 (diff) | |
Merge pull request #66 from omasanori/roundtrip
Split roundtrip_test and leakcheck.
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 5de5632..25c3ec1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -30,5 +30,9 @@ script: if [ ${TRAVIS_OS_NAME:-'linux'} = 'linux' ] then make roundtrip_test + fi + - | + if [ ${TRAVIS_OS_NAME:-'linux'} = 'linux' ] + then make leakcheck fi |