Dockerfile: add gdb

2018-06-09 23:16:32 +02:00 · 2018-06-09 23:16:32 +02:00 · f325d44964
commit f325d44964
parent 56dd8dcea4
1 changed files with 1 additions and 1 deletions
--- 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