3488 -

I'd messed up termbox in commit 3443; it was weird how it failed though.
The terminal got really sluggish to switch between windows when the
edit/ app was running. And it stopped clearing the screen properly.

1 files changed, 1 insertions, 1 deletions

diff --git a/build b/build
index a1950702..95eb0c46 100755
--- a/build
+++ b/build
@@ -87,7 +87,7 @@ older_than cleave/cleave cleave/cleave.cc && {
   rm -rf .build
 }
 
-older_than mu_bin mu.cc *_list cleave/cleave && {
+older_than mu_bin mu.cc *_list cleave/cleave termbox/* && {
   mkdir -p .build
   cp function_list test_list .build
   mkdir -p .build/termbox