diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-29 22:22:45 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-29 22:22:45 -0700 |
commit | 3e4658e72d7bfe7ca40e22a2194c8a8278a2c089 (patch) | |
tree | 9bc063114eea6527107f31b93d380b681cf81316 /html/global.mu.html | |
parent | a800400c360c302a06c4127a34023b92244bcbf6 (diff) | |
download | mu-3e4658e72d7bfe7ca40e22a2194c8a8278a2c089.tar.gz |
3282
Fix CI process after recent changes. CI still will not be actually *making use* of separate compilation (as it shouldn't). As a side effect, 'build_until' shows a simpler (but still working!) process for building Mu. Vast improvement over the previous hack of dipping selectively into the Makefile.
Diffstat (limited to 'html/global.mu.html')
0 files changed, 0 insertions, 0 deletions