summaryrefslogtreecommitdiff
path: root/autogen.sh
diff options
context:
space:
mode:
Diffstat (limited to 'autogen.sh')
-rwxr-xr-xautogen.sh20
1 files changed, 1 insertions, 19 deletions
diff --git a/autogen.sh b/autogen.sh
index 708767d..3cd1367 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -5,10 +5,6 @@
# autoconf.
#
# This script requires autoconf-2.64..2.71 in the PATH.
-# It also requires either
-# - the GNULIB_TOOL environment variable pointing to the gnulib-tool script
-# in a gnulib checkout, or
-# - an internet connection.
# Copyright (C) 2003-2022 Free Software Foundation, Inc.
#
@@ -25,23 +21,9 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <https://www.gnu.org/licenses/>.
+# Prerequisite (if not used from a released tarball): ./autopull.sh
# Usage: ./autogen.sh
-GNULIB_REPO_URL="https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;hb=HEAD;f="
-
-for file in build-aux/install-sh build-aux/mkinstalldirs \
- build-aux/compile build-aux/ar-lib \
- lib/filename.h; do
- if test -n "$GNULIB_TOOL"; then
- $GNULIB_TOOL --copy-file $file $file
- else
- wget -q --timeout=5 -O $file.tmp "${GNULIB_REPO_URL}$file" \
- && mv $file.tmp $file
- fi
-done
-chmod a+x build-aux/install-sh build-aux/mkinstalldirs \
- build-aux/compile build-aux/ar-lib
-
make -f Makefile.devel totally-clean all || exit $?
echo "$0: done. Now you can run './configure'."