diff options
| author | NIIBE Yutaka <gniibe@fsij.org> | 2017-07-06 15:52:46 +0900 |
|---|---|---|
| committer | NIIBE Yutaka <gniibe@fsij.org> | 2017-07-06 15:52:46 +0900 |
| commit | 5d9802388c32934a4201fa29ccaf120d2faab8a7 (patch) | |
| tree | c53a60d8da1ae9b6ca0e19f8460379d128e5194a /example-fraucheky/configure | |
| parent | 478dd2c78467bf5a2134867c55b33fca330f1644 (diff) | |
Fix USB driver on GNU/Linux.
Diffstat (limited to 'example-fraucheky/configure')
| -rwxr-xr-x | example-fraucheky/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/example-fraucheky/configure b/example-fraucheky/configure index 5014a78..7bc023c 100755 --- a/example-fraucheky/configure +++ b/example-fraucheky/configure @@ -9,6 +9,7 @@ vidpid=none verbose=no debug=no with_fraucheky=yes +with_index=./INDEX.HTM if test -d ../.git; then REVISION=`git describe --dirty="-modified"` @@ -34,8 +35,6 @@ for option; do verbose=yes ;; --vidpid=*) vidpid=$optarg ;; - --with-index=*) - with_index=$optarg ;; *) echo "Unrecognized option \`$option'" >&2 echo "Try \`$0 --help' for more information." >&2 |