From e7724627ec7f112abb6bd6c3babb934503695766 Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.ch>
Date: Wed, 17 Aug 2022 15:47:45 +0200
Subject: [PATCH] build: prefer install in /usr/local in Docker

It does not matter much, but this is more correct from a distribution
point of view.
---
 .dockerignore | 1 +
 Dockerfile    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.dockerignore b/.dockerignore
index 5694e6b9..fc0f2697 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,2 +1,3 @@
 tests/integration/__pycache__
 Dockerfile
+*~
diff --git a/Dockerfile b/Dockerfile
index 9ce2c377..71dbe1cd 100644
--- 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 \
-- 
2.39.5