6 echo "Usage is: configure [--prefix=PREFIX]"
13 while [ $# -ne 0 ]; do
20 prefix
=`echo $1 | sed 's/--prefix=//'`;
29 echo Unknown option
: $1
35 echo "prefix=$prefix" > config.
make
38 echo "Mono.Cecil module configured"
40 echo " Prefix: $prefix"