Wrap show-time around compilations. Add newline after disk-save.
authorJoe Marshall <eval.apply@gmail.com>
Sat, 19 May 2012 17:25:56 +0000 (10:25 -0700)
committerJoe Marshall <eval.apply@gmail.com>
Sat, 19 May 2012 17:25:56 +0000 (10:25 -0700)
commit189c47297c8b2748169ddc43641adbbd6d0c65c5
tree6a47d42323f5c3bdd87d5f247fef701058eec3fb
parentefb842bed57c5aa6b489ac2911c8c96b3af2ed55
Wrap show-time around compilations.  Add newline after disk-save.
src/etc/compile.sh