diff options
| -rw-r--r-- | misc/xine-config | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/misc/xine-config b/misc/xine-config index 3e67e5dc7..5723a1a46 100644 --- a/misc/xine-config +++ b/misc/xine-config @@ -42,11 +42,9 @@ while test $# -gt 0; do if [ "$exec_prefix" = '' ]; then exec_prefix="$optarg" fi - args="$args${args+ }--variable=prefix" ;; --exec-prefix=*) exec_prefix="$optarg" - args="$args${args+ }--variable=exec_prefix" ;; --version) args="$args${args+ }--modversion" |