diff options
Diffstat (limited to 'build_tools/go.sh')
| -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 |