diff vext @ 124:fc093b176444 vext

Update vext
author Chris Cannam
date Fri, 06 Oct 2017 13:30:06 +0100
parents 9efd2d15cd58
children
line wrap: on
line diff
--- a/vext	Fri Sep 29 10:00:18 2017 +0100
+++ b/vext	Fri Oct 06 13:30:06 2017 +0100
@@ -90,7 +90,7 @@
 arglist=""
 for arg in "$@"; do
     if [ -n "$arglist" ]; then arglist="$arglist,"; fi
-    if echo "$arg" | grep -q '[^a-z]' ; then
+    if echo "$arg" | grep -q '["'"'"']' ; then
 	arglist="$arglist\"usage\""
     else
 	arglist="$arglist\"$arg\""