Lagrange [release]

Fix POSIX compliance in build-tui script

Thu Jun 30 11:47:48 2022 -0700

 build-tui.sh | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)