From: Ben Pfaff Date: Wed, 19 Mar 2008 16:52:30 +0000 (-0700) Subject: Change tabs to spaces in ofp-pki to make indentation consistent across text editors. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5130018ff01e955fa5c597fc470219689db2a11d;p=openvswitch Change tabs to spaces in ofp-pki to make indentation consistent across text editors. Based on suggestion by Justin. --- diff --git a/utilities/ofp-pki b/utilities/ofp-pki index 46a6a89d..f9a0735e 100755 --- a/utilities/ofp-pki +++ b/utilities/ofp-pki @@ -19,20 +19,20 @@ for option; do # If the previous option needs an argument, assign it. if test -n "$prev"; then - eval $prev=\$option - prev= - continue + eval $prev=\$option + prev= + continue fi case $option in - *=*) optarg=`expr "X$option" : '[^=]*=\(.*\)'` ;; - *) optarg=yes ;; + *=*) optarg=`expr "X$option" : '[^=]*=\(.*\)'` ;; + *) optarg=yes ;; esac case $dashdash$option in - --) - dashdash=yes ;; - -h|--help) - cat <&2 - { (exit 1); exit 1; }; } + { (exit 1); exit 1; }; } fi if test -z "$command"; then echo "$0: missing command name; use --help for help"