diff options
author | Mattias Hansson <hansson.mattias@gmail.com> | 2019-03-29 09:32:26 +0100 |
---|---|---|
committer | Nico Williams <nico@cryptonector.com> | 2019-03-29 08:19:41 -0500 |
commit | 4f58a59f4d501390381522061b339af377c1c6dd (patch) | |
tree | 4b3e979d268a60789a8ed1fb127e848a10bbfc7d | |
parent | 584370127a49bf0663b864cb5b3a836ee8cb8399 (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-- | Dockerfile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 \ |