From ced9f467dcf93f9c20131155ac67583557fcd263 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Thu, 12 Apr 2018 09:40:10 +0300
Subject: [PATCH] Update

---
 todo.org | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/todo.org b/todo.org
index 0277302..c64adad 100644
--- a/todo.org
+++ b/todo.org
@@ -40,3 +40,10 @@
   I would have to be very bored to DONE this...  And so i was, the
   only Make remnants are incompletions, boredom must be absolute to
   "fix" that.
+* build.sh
+  Updating KEYS results in:
+        - sh build.sh build        
+        linking build/llpp
+        File "_none_", line 1:
+        Error: Files build/config.cmo and build/help.cmo
+               make inconsistent assumptions over interface Help
-- 
2.11.4.GIT