Be explicit.

sm · Aug 21, 2011 · 4c3cadd · 4c3cadd
1 parent a8b9cd4
commit 4c3cadd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/install b/install
@@ -7,11 +7,11 @@ do
   token="$1"
   shift
   case "$token" in
-    (*trace)
+    (--trace|trace)
       extension_args+=("--trace=all")
       ;;
 
-    (*prefix)
+    (--prefix|prefix)
       prefix_path="$1"
       if ! shift
       then