diff options
| -rwxr-xr-x | util/abuild/abuild | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild index dc3670b927..fc4c7fe867 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -526,6 +526,13 @@ function build_target BUILD_NAME="${config##*/}" BUILD_NAME="${BUILD_NAME##config.}" BUILD_NAME=$(echo "${BUILD_NAME}" | tr '[:lower:]' '[:upper:]') + echo $BUILD_NAME $MAINBOARD + # If the file in configs/ results in the same build_name as the default config + # append a '_' to differentiate. Otherwise the default configuration would + # override the results. + if [ "${MAINBOARD}" = "${BUILD_NAME}" ]; then + BUILD_NAME=${BUILD_NAME}"_" + fi echo "Building config $BUILD_NAME" build_dir=$TARGET/${BUILD_NAME} build_config "$MAINBOARD" "$build_dir" "$BUILD_NAME" "$config" |