1
0
mirror of https://github.com/PDP-10/its.git synced 2026-04-26 20:27:13 +00:00

Just build KA.

This commit is contained in:
Lars Brinkhoff
2018-03-05 12:01:53 +01:00
parent ffafc7b05e
commit e8a1b99606

View File

@@ -2,8 +2,8 @@ language: c
dist: trusty dist: trusty
sudo: required sudo: required
env: env:
- EMULATOR=simh # EMULATOR=simh
- EMULATOR=klh10 MACSYMA=no # EMULATOR=klh10 MACSYMA=no
- EMULATOR=sims MACSYMA=no - EMULATOR=sims MACSYMA=no
install: sh -ex build/dependencies.sh install_${TRAVIS_OS_NAME:-linux} install: sh -ex build/dependencies.sh install_${TRAVIS_OS_NAME:-linux}
script: make script: make