diff options
Diffstat (limited to 'MakeRelease.job')
-rwxr-xr-x | MakeRelease.job | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/MakeRelease.job b/MakeRelease.job index e73b97ed..82f300d6 100755 --- a/MakeRelease.job +++ b/MakeRelease.job @@ -125,6 +125,10 @@ if test x"${toolchain_config}" != x"" \ extra="${extra} --extraconfigdir $abe_dir/config/${toolchain_config}" fi +if [ x"$target" = x"aarch64-linux-gnu_ilp32" ]; then + extra="$extra --extraconfigdir $abe_dir/config/ilp32-dev" +fi + # Use the newly created build directory cd ${user_workspace}/_build |