| 7e05d104 | sudo: required dist: trusty |
| fbce7108 | install: |
| 410cbeb1 | - sudo apt-get install libpam0g-dev libssl-dev |
| 35333558 | language: cpp |
| 955c5a5f | notifications:
email:
on_success: change
on_failure: change
|
| 47031e12 | script: ./configure && make -k test && make && ./dual_control && ( nm -u dual_control | grep -v HMAC > /dev/null ) |