diff options
| author | Andy Wingo <wingo@pobox.com> | 2002-05-06 18:15:36 +0000 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2002-05-06 18:15:36 +0000 |
| commit | 8d060610bbe0af2f159b40c8b23076896b4104a5 (patch) | |
| tree | 8ddc43a6cc3c444e29ca007475b4b889e3c0ac54 | |
| parent | e5997d9e2b4e162ad423f9b9ec3ac9b29e12bb05 (diff) | |
if gnu getopt is not available, don't bother processing any options
Original commit message from CVS:
if gnu getopt is not available, don't bother processing any options
| -rw-r--r-- | gst-autogen.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gst-autogen.sh b/gst-autogen.sh index dcf4266..6c7c54b 100644 --- a/gst-autogen.sh +++ b/gst-autogen.sh @@ -162,6 +162,11 @@ die_check () autogen_options () { + if test `getopt --version | cut -d' ' -f2` != "(enhanced)"; then + echo "- non-gnu getopt(1) detected, not running getopt on autogen command-line options" + return 0 + fi + # we use getopt stuff here, copied things from the example example.bash TEMP=`getopt -o h --long noconfigure,nocheck,debug,help,with-automake:,with-autoconf:,prefix:\ -- "$@"` |