aboutsummaryrefslogtreecommitdiff
path: root/mig.in
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1999-03-20 22:03:03 +0000
committerRoland McGrath <roland@gnu.org>1999-03-20 22:03:03 +0000
commit040f5747150a2e972aea90ac084991e8e512b9af (patch)
tree321437506818e6ca2594e6cdda42f04891bd428a /mig.in
parentdfcf532bcec08c113c3c24b57fc48f673407665a (diff)
downloadmig-040f5747150a2e972aea90ac084991e8e512b9af.tar.gz
mig-040f5747150a2e972aea90ac084991e8e512b9af.tar.bz2
mig-040f5747150a2e972aea90ac084991e8e512b9af.zip
1999-03-20 Roland McGrath <roland@baalperazim.frob.com>
* mig.in (PACKAGE, VERSION): New variables, substituted by configure. Grok --version.
Diffstat (limited to 'mig.in')
-rw-r--r--mig.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/mig.in b/mig.in
index 5de5097..d0d6231 100644
--- a/mig.in
+++ b/mig.in
@@ -25,6 +25,9 @@
# the rights to redistribute these changes.
#
+PACKAGE=@PACKAGE@
+VERSION=@VERSION@
+
prefix=@prefix@
exec_prefix=@exec_prefix@
libexecdir=@libexecdir@
@@ -45,6 +48,8 @@ files=
until [ $# -eq 0 ]
do
case "$1" in
+ --version ) echo "GNU ${PACKAGE} version ${VERSION}"; exit 0 ;;
+
-[qQvVtTrRsS] ) migflags="$migflags $1"; shift;;
-i ) sawI=1; migflags="$migflags $1 $2"; shift; shift;;
-user ) user="$2"; if [ ! "${sawI-}" ]; then migflags="$migflags $1 $2"; fi; shift; shift;;