Merge branch 'credentials' of git+ssh://gnunet.org/gnunet into credentials
[oweals/gnunet.git] / src / gns / gnunet-gns-proxy-setup-ca
index c2182d8698c69f6ae0dd48b07e2c5e985cfdf90b..692cca974f612a5c945f8be42c52d255abf433fe 100644 (file)
@@ -13,7 +13,7 @@ options=''
 while getopts "c:" opt; do
   case $opt in
     c)
-      options+="-c $OPTARG"
+      options="$options -c $OPTARG"
       ;;
     \?)
       echo "Invalid option: -$OPTARG" >&2