6 echo "Usage is: configure [--prefix=PREFIX] [--profile=PROFILE]"
8 echo "Profiles available: "
9 (cd build/profiles; ls *.make | sed -e 's/.make//' -e 's/^/ /')
15 while [ $# -ne 0 ]; do
22 prefix=`echo $1 | sed 's/--prefix=//'`;
31 profile=`echo $1 | sed 's/--profile=//'`
33 if test ! -f build/profiles/$profile.make; then
35 echo Error, profile $profile does not exist
44 if test ! -f build/profiles/$profile.make; then
46 echo Error, profile $profile does not exist
52 echo Unknown option: $1
58 echo "prefix=$prefix" > build/config.make
59 echo "MCS_FLAGS = \$(PLATFORM_DEBUG_FLAGS)" >> build/config.make
60 echo "PROFILE=$profile" > build/pre-config.make
63 echo "MCS module configured"
65 echo " Profile selected: $profile"
66 echo " Prefix: $prefix"