From b786f1657ba0c76d2604f15715b008c734f88e41 Mon Sep 17 00:00:00 2001 From: Jonah Graham Date: Sun, 4 Apr 2021 17:08:42 -0400 Subject: [PATCH] Fix typo in installing gdbserver --- docker/scripts/download-build-gdb.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/scripts/download-build-gdb.sh b/docker/scripts/download-build-gdb.sh index 9651cf1..0808110 100755 --- a/docker/scripts/download-build-gdb.sh +++ b/docker/scripts/download-build-gdb.sh @@ -381,7 +381,7 @@ function make_install_gdb() { if [ -e ${install_gdbserver} ]; then echo_header "Make installing in ${install_gdbserver}" - ${dryrun} pushd "${install_gdb}" + ${dryrun} pushd "${install_gdbserver}" # Disable building of the doc, which fails anyway with older gdbs and # newer makeinfos.