fix guile-tools getopt
authorAndy Wingo <wingo@pobox.com>
Thu, 27 Jan 2011 17:18:10 +0000 (18:18 +0100)
committerAndy Wingo <wingo@pobox.com>
Thu, 27 Jan 2011 17:18:14 +0000 (18:18 +0100)
commit92a70bcf299632e5b19f86ab4629d4e24a09a7e1
treedffdefe4432d87daeb8d76f3bc13ed38ec36d8f4
parentbc312c45dda409fc30027cebca72f6d2ced4f60c
fix guile-tools getopt

* meta/guile-tools.in (getopt): Define a local version of getopt that
  stops parsing options when it sees a non-option.
meta/guile-tools.in