language: c
before_install:
  - sudo apt-get -qq update
  - sudo apt-get install -y pmake splint
script: pmake

language: c
before_install:
  - sudo apt-get -qq update
  - sudo apt-get install -y pmake
script: env LINT= pmake

Disable lint in a new way
Disable lint in a new way
