#!/bin/sh run_char=1 run_wchar=1 run_size=1 run_check=1 ##============================================================================== ## ## Get command line options that start with dash: ## ##============================================================================== for opt do arg=`expr "x$opt" : 'x[^=]*=\(.*\)'` case $opt in -h | --help) help=1 ;; --runs=*) run_char=0 run_wchar=0 run_size=0 run_check=0 runs=`echo $arg | sed 's/:/ /g'` for i in $runs do case $i in char) run_char=1 ;; wchar) run_wchar=1 ;; size) run_size=1 ;; check) run_check=1 ;; all) run_char=1 run_wchar=1 run_size=1 run_check=1 ;; *) echo "$0: unknown option argument for --runs: $i" exit 1 esac done ;; *) echo "$0: unknown option: $opt" exit 1 ;; esac done ##============================================================================= ## ## Handle --help option: ## ##============================================================================== if [ "$help" = "1" ]; then cat< $prefix/ocsprovider/schema.mof <