From b48386361905919ff9a6f44b9e256258d1d90d3a Mon Sep 17 00:00:00 2001
From: ZenitDS <zenitds@proton.me>
Date: Mon, 25 May 2026 17:25:02 +0200
Subject: [PATCH] fix root owner of share/gprconfig/ directory with
 bootstrap.sh

---
 bootstrap.sh | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index 6e0ab2e7..f10b59f8 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -81,10 +81,6 @@ inc_flags="-I$srcdir/src -I$srcdir/gpr/src -I$xmlada_src/sax -I$xmlada_src/dom \
 bin_progs="gprbuild gprconfig gprclean gprinstall gprname gprls"
 lib_progs="gprlib gprbind"
 
-# Install the gprconfig knowledge base
-rm -rf "$srcdir"/share/gprconfig
-cp -r "$kb_src"/db "$srcdir"/share/gprconfig
-
 # Windows and Unix differencies
 
 UName=`uname | cut -b -5`
@@ -100,8 +96,13 @@ else
 fi
 
 # Build
+
 if [ "x"${MODE} = "x" ] || [ ${MODE} = "build" ];
 then
+	# Install the gprconfig knowledge base
+	rm -rf "$srcdir"/share/gprconfig
+	cp -r "$kb_src"/db "$srcdir"/share/gprconfig
+
 	command $CC -c $CFLAGS "$srcdir"/gpr/src/gpr_imports.c
 
 	for bin in $bin_progs; do