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