diff options
| -rwxr-xr-x | MakeRelease.job | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/MakeRelease.job b/MakeRelease.job index 0aa382b1..21bbfd65 100755 --- a/MakeRelease.job +++ b/MakeRelease.job @@ -1,5 +1,7 @@ #!/bin/bash +set -x + usage() { echo "MakeRelease: [options]" echo " --workspace - Specify an alternate workspace" @@ -86,9 +88,7 @@ update="" if test x"${toolchain_config}" != x"" \ -a x"${toolchain_config}" != x"default"; then - # Note, we need to specify ../config/FOO because the build is done - # inside _build directory 1 level up from ABE's top. - extra="${extra} --extraconfigdir ../config/${toolchain_config}" + extra="${extra} --extraconfigdir $abe_dir/config/${toolchain_config}" fi guess="`${abe_dir}/config.guess`" |