6 echo "Usage is: configure [--prefix=PREFIX] [--profile=PROFILE]\n"
7 echo "Profiles available: "
8 (cd build/profiles; ls *.make | sed -e 's/.make//' -e 's/^/ /')
21 prefix=`echo $a | sed 's/--prefix=//'`;
24 profile=`echo $a | sed 's/--profile=//'`;
25 if test ! -f build/profiles/$profile.make; then
27 echo Error, profile $profile does not exist
33 echo Unknown option: $a
39 echo "prefix=$prefix" > build/config.make
40 echo "MCS_FLAGS = \$(PLATFORM_DEBUG_FLAGS)" >> build/config.make
41 echo "PROFILE=$profile" > build/pre-config.make
44 echo "MCS module configured"
46 echo " Profile selected: $profile"
47 echo " Prefix: $prefix"