about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-08 17:56:07 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-08 17:56:07 -0700
commit3315a7d3bb8560bad215febe7a69187707dac4e3 (patch)
tree7d5c4a38c6eebe8959d0eaa16b332ab602d7bf4b
parent2bf1f3115da1fe539606ef53baf0e399aabe6051 (diff)
downloadmu-3315a7d3bb8560bad215febe7a69187707dac4e3.tar.gz
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.
-rwxr-xr-xbuild2
-rw-r--r--termbox/output.inl2
2 files changed, 2 insertions, 2 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
diff --git a/termbox/output.inl b/termbox/output.inl
index 43ebed3b..d87049ef 100644
--- a/termbox/output.inl
+++ b/termbox/output.inl
@@ -245,7 +245,7 @@ static const char *terminfo_copy_string(char *data, int str, int table) {
   const char *src = data + table + off;
   int len = strlen(src);
   char *dst = malloc(len+1);
-  string_copy(dst, src, len);
+  string_copy(dst, src, len+1);
   return dst;
 }