github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-02 06:51:04 +00:00
Code Issues Releases Wiki Activity
823 Commits 115 Branches 0 Tags
dfd0e117ce8d798e517fdcad560abf4c7aa6c331
Commit Graph

3 Commits

Author SHA1 Message Date
Lars Brinkhoff
8249c305f4 Add a Makefile check that SRC, DOC, and BIN cover everything. 
Run this with "make check-dirs".  This is added to all CI builds.
 2018-08-23 16:10:46 +02:00
Lars Brinkhoff
c45a1920c7 Parallel CircleCI build with all three emulators. 2018-08-05 17:12:03 +02:00
Lars Brinkhoff
e99721a7e2 Build with Circle CI. 
- Needs the same sudo stub as GitLab.
- Some X11 libraries are required for building with the KA10 simulator.
 2018-08-04 21:35:10 +02:00