language: c
# Select Trusty Tahr.
sudo: required
dist: trusty
git:
  submodules: true
  # TODO: When this repo has many commits, this might speed things up:
  # depth: 3
script:
  - make

language: c

matrix:
  include:
    - os: linux
      sudo: required
      dist: trusty
      env: OS_CODENAME="Trusty Tahr"
    - os: linux
      sudo: false
      env: OS_CODENAME="Precise Pangoblin"
git:
  submodules: true
  # TODO: When this repo has many commits, this might speed things up:
  # depth: 3
script:
  - make

Enable Travis CI for Precise
Enable Travis CI for Precise
