[m-rev.] diff: build_srcdist: new opiton for specifing tar command

[Julien Fischer]

build_srcdist: new option for specifying tar command

tools/build_srcdist:
      Add a new option, -t, that allows the tar command for
      use by the tar target to be specified.

Julien.

diff --git a/tools/build_srcdist b/tools/build_srcdist
index 94fe921..41200d1 100755
--- a/tools/build_srcdist
+++ b/tools/build_srcdist
@@ -12,6 +12,7 @@ RELEASE_VERSION=$ROTD_VERSION
  CC=gcc
  RUN=no
  PARALLEL=1
+TAR=tar

  USAGE="\
  $0 [options]
@@ -31,9 +32,11 @@ Options:
          Run N jobs in parallel.
      -c CC
          Use CC as the C compiler.
+    -t TAR
+        Use TAR as the archiving utility (default: tar)
  "

-while getopts "hrv:nc:fj:" OPT; do
+while getopts "hrv:nc:fj:t:" OPT; do
      case "$OPT" in
          h)
              echo "$USAGE"
@@ -57,6 +60,9 @@ while getopts "hrv:nc:fj:" OPT; do
          j)
              PARALLEL=$OPTARG
              ;;
+        t)
+            TAR=$OPTARG
+            ;;
          ?)
              echo "$USAGE"
              exit 1
@@ -103,6 +109,6 @@ mercury_cv_bits_per_word=$BITS_PER_WORD \
  mercury_cv_bytes_per_word=$BYTES_PER_WORD \
  mercury_cv_unboxed_floats=$UNBOXED_FLOATS \
  sh configure --with-cc="$CC" &&
-mmake GRADE=hlc.gc.pregen MMAKEFLAGS="EXTRA_MCFLAGS='-O5 --opt-space' -j$PARALLEL" tar
+mmake TAR="$TAR" GRADE=hlc.gc.pregen MMAKEFLAGS="EXTRA_MCFLAGS='-O5 --opt-space' -j$PARALLEL" tar