From 3315a7d3bb8560bad215febe7a69187707dac4e3 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 8 Oct 2016 17:56:07 -0700 Subject: 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. --- build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build') 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 -- cgit 1.4.1-2-gfad0