download_prerequisites: add --only-gettext

contrib/ChangeLog:

	* download_prerequisites
	<arg parse>: Parse --only-gettext.
	(echo_archives): Check only_gettext and stop early if true.
	(helptext): Document --only-gettext.

diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites
index 9568091c0dbaced1be8874caa2e0c10657b8638b..30ff0cc9491a5e8e0e24d420d853bef528392237 100755 (executable)
--- a/contrib/download_prerequisites
+++ b/contrib/download_prerequisites
@@ -36,16 +36,18 @@ gettext='gettext-0.22.tar.gz'
 base_url='http://gcc.gnu.org/pub/gcc/infrastructure/'
 
 echo_archives() {
+    echo "${gettext}"
+    if "${only_gettext}"; then return; fi
     echo "${gmp}"
     echo "${mpfr}"
     echo "${mpc}"
-    echo "${gettext}"
     if [ ${graphite} -gt 0 ]; then echo "${isl}"; fi
 }
 
 graphite=1
 verify=1
 force=0
+only_gettext=false
 OS=$(uname)
 
 if type wget > /dev/null ; then
@@ -74,6 +76,7 @@ The following options are available:
  --no-verify      don't verify package integrity
  --sha512         use SHA512 checksum to verify package integrity (default)
  --md5            use MD5 checksum to verify package integrity
+ --only-gettext   inhibit downloading any package but gettext
  --help           show this text and exit
  --version        show version information and exit
 "
@@ -159,6 +162,9 @@ do
                 chksum_extension='md5'
                 verify=1
                 ;;
+            --only-gettext)
+                only_gettext=true
+                ;;
             -*)
                 die "unknown option: ${arg}"
                 ;;