Update makedist.sh

This commit is contained in:
Andrea Mazzoleni 2026-03-08 22:07:20 +01:00
parent 5ad1a586b0
commit f282307b35

View file

@ -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