From 29b6dc4e1448e2348151e305c529d48db70e9680 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Wed, 1 Aug 2018 21:37:18 +0100
Subject: [PATCH] Don't require a space after (todo)/(todoi)'s contents.

The DB and KA configurations have different console terminal widths, and
format these lists differently: DB puts a space after the right bracket,
and KA doesn't, so the build was hanging here on KA.
---
 build/build.tcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/build.tcl b/build/build.tcl
index 50e53e70..e226d328 100644
--- a/build/build.tcl
+++ b/build/build.tcl
@@ -89,14 +89,14 @@ proc build_macsyma_portion {} {
     respond_load "(load \"libmax;maxmac\")"
     respond_load "(todo)"
     expect {
-	") \r" {
+	-re {\) *\r} {
 	}
         "NIL" {
 	}
     }
     type "(todoi)"
     expect {
-	") \r" {
+	-re {\) *\r} {
 	}
         "NIL" {
 	}