diff options
author | James Meyer <james.meyer@operamail.com> | 2009-06-22 22:45:18 (GMT) |
---|---|---|
committer | James Meyer <james.meyer@operamail.com> | 2009-06-22 22:45:18 (GMT) |
commit | 50173ad857f3a65051220815c161060a565094df (patch) | |
tree | 335127c931ee6a4c7a31eedd9e991d556ed7e2d9 /build_tools | |
parent | 21cfaf3839dfc5bbe4e36786cce1deb8867728b4 (diff) | |
download | linhes_dev-50173ad857f3a65051220815c161060a565094df.zip |
go.sh set a default value to the third option
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/go.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build_tools/go.sh b/build_tools/go.sh index b73c777..e57dec0 100755 --- a/build_tools/go.sh +++ b/build_tools/go.sh @@ -24,6 +24,12 @@ then else profile=MV-local fi +echo $profile +if [ x$a = x ] +then + + profile=${menuarray[3]} +fi echo "Running ./mklarch -f -p larch/profiles/$profile" time ./mklarch -f -c /tmp/$profile -p larch/profiles/$profile |