summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattias Hansson <hansson.mattias@gmail.com>2019-03-29 09:32:26 +0100
committerNico Williams <nico@cryptonector.com>2019-03-29 08:19:41 -0500
commit4f58a59f4d501390381522061b339af377c1c6dd (patch)
tree4b3e979d268a60789a8ed1fb127e848a10bbfc7d
parent584370127a49bf0663b864cb5b3a836ee8cb8399 (diff)
Dockerfile: Uninstall oniguruma before distclean
Run `make uninstall` for oniguruma before running the recursive distclean that will remove oniguruma's Makefile and cause a build error due to missing make target.
-rw-r--r--Dockerfile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index e6ce6daa..f69f1f4d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -30,10 +30,11 @@ RUN apt-get update && \
./configure --disable-valgrind --enable-all-static --prefix=/usr/local && \
make -j8 && \
make check && \
- make install && \
- make distclean ) && \
+ make install ) && \
(cd /app/modules/oniguruma && \
make uninstall ) && \
+ (cd /app && \
+ make distclean ) && \
apt-get purge -y \
build-essential \
autoconf \