From f4a5aa6428f0196c2659458049145ff1783de484 Mon Sep 17 00:00:00 2001
From: Michael Rodler <contact@f0rki.at>
Date: Wed, 1 Feb 2017 19:17:00 +0100
Subject: [PATCH] updated gdb to latest version

---
 gdb/install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gdb/install b/gdb/install
index 3aa03a2..e8f04eb 100755
--- a/gdb/install
+++ b/gdb/install
@@ -1,8 +1,8 @@
 #!/bin/bash
 set -e -o pipefail
 
-curl https://ftp.gnu.org/gnu/gdb/gdb-7.11.1.tar.gz | tar xz
-cd gdb-7.11.1
+curl https://ftp.gnu.org/gnu/gdb/gdb-7.12.tar.gz | tar xz
+cd gdb-7.12
 
 # move to ctftools virtual env
 source ctf-tools-venv-activate