From f325d449641058740b8b4bb12ae333fa8f065822 Mon Sep 17 00:00:00 2001
From: Yasuyuki Tanaka <yasuyuki.tanaka@inria.fr>
Date: Sat, 9 Jun 2018 23:16:32 +0200
Subject: [PATCH] Dockerfile: add gdb

---
 tools/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
index 80b719ab1..9d15704ac 100644
--- a/tools/docker/Dockerfile
+++ b/tools/docker/Dockerfile
@@ -5,7 +5,7 @@ RUN apt-get update && \
   apt-get install -y --no-install-recommends \
   build-essential doxygen git wget unzip python-serial python-pip \
   default-jdk ant srecord iputils-tracepath rlwrap \
-  mosquitto mosquitto-clients \
+  mosquitto mosquitto-clients gdb \
   && apt-get clean
 
 # Install ARM toolchain