build: prefer install in /usr/local in Docker

It does not matter much, but this is more correct from a distribution
point of view.

diff --git a/.dockerignore b/.dockerignore
index 5694e6b9fe1947583d6db507cb9ac757f800f13c..fc0f26972857a2954b08e98d5a40eb6a2bd4f1ab 100644 (file)
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,2 +1,3 @@
 tests/integration/__pycache__
 Dockerfile
+*~

diff --git a/Dockerfile b/Dockerfile
index 9ce2c377a8c453ce40ad6531d6dc647bec3c9199..71dbe1cd95baf5dd588e3dca9789e7d264362d2a 100644 (file)
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ WORKDIR /build
 COPY . .
 RUN ./autogen.sh
 RUN ./configure \
-               --prefix=/usr \
+               --prefix=/usr/local \
                --sysconfdir=/etc \
                --enable-pie \
                --enable-hardening \