From f282307b35f94fff2a0d1314c9373cc39c711380 Mon Sep 17 00:00:00 2001 From: Andrea Mazzoleni Date: Sun, 8 Mar 2026 22:07:20 +0100 Subject: [PATCH] Update makedist.sh --- makedist.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/makedist.sh b/makedist.sh index e124d25b..5ef25f6b 100755 --- a/makedist.sh +++ b/makedist.sh @@ -12,6 +12,9 @@ if test "x$1" = "x-d"; then DEBUG=--enable-debug fi +# Ask root permissions at the start +sudo echo We are root + make distclean # Reconfigure (with force) to get the latest revision from git