diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-14 21:35:25 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-14 21:35:25 -0700 |
commit | e53787f51a058270c6125be35172d8fb6341a549 (patch) | |
tree | 7c87f91ec5a26035876b20bbdb84f06a01feebba /999spaces.cc | |
parent | e74a2940522e37d63043f662f38fba3620c01780 (diff) | |
download | mu-e53787f51a058270c6125be35172d8fb6341a549.tar.gz |
2001
Let's stop hackily editing compiler flags in makefile. I considered modifying the 'mu' script as well, with cases like this: 1. mu test -- don't optimize 2. mu test edit.mu -- optimize 3. mu test edit.mu just-one-test -- don't optimize 4. mu edit.mu -- interactive; optimize 5. mu -- just help message; don't optimize But that seems brittle for all the added complexity. From now on to build quickly just do: $ make dbg && mu test etc.
Diffstat (limited to '999spaces.cc')
0 files changed, 0 insertions, 0 deletions