From 13d65995b3a17ba15ee95f7ecf4a510ea8f2bed6 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Fri, 11 Oct 2013 16:09:01 -0400
Subject: gdb: Provide a gdbtui script.

---
(limited to 'build')

diff --git a/build b/build
index c0d8184..53c2e5a 100755
--- a/build
+++ b/build
@@ -43,6 +43,9 @@ install: build
 	# Make /etc/gdbinit.
 	mkdir -p dest/etc/gdb
 	printf '# System-wide GDB initialization file.\n' >dest/etc/gdb/gdbinit
+	# Make /usr/bin/gdbtui.
+	printf '#!/bin/sh\n\nexec "$${0%%tui}" --tui "$${@}"\n' \
+		>dest/usr/bin/gdbtui
 	oh-fixperms
 	oh-strip
 	oh-installfiles
--
cgit v0.9.1