fix minimal build

2018-05-31 03:08:42 +01:00
parent f5954ab939
commit ec78959cee
1 changed files with 1 additions and 1 deletions
--- a/minimal/Dockerfile
+++ b/minimal/Dockerfile
@@ -20,7 +20,7 @@ ENV BASEDIR=$BASEDIR \
    CUSTOMPARAMETERS=""

 RUN apt-get update -q \
- && apt-get install -yqq lib32tinfo5 gdb \
+ && apt-get install -yqq lib32tinfo5 paxctl \
 && apt-get clean \
 && rm -rf \
        /tmp/* \