From baf31ea188622099c8cbe6e9232bdc08267c43e0 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Mon, 19 Jul 2021 16:56:39 +0200
Subject: [PATCH] Fixing installation of GDB server

---
 script/solve_gdbserver | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/solve_gdbserver b/script/solve_gdbserver
index a92893f12..cd7404c8a 100755
--- a/script/solve_gdbserver
+++ b/script/solve_gdbserver
@@ -19,7 +19,7 @@ elif [ x"$1" = x"linux"  ]; then
 	elif [ x"$pcman" = x"pacman" ]; then
 		package_name=gdb
 	elif [ x"$pcman" = x"apt-get" ]; then
-		package_name=gdbsever
+		package_name=gdbserver
 	else
 		package_name=gdb-gdbserver
 	fi
-- 
GitLab