diff options
Diffstat (limited to 'projects/mosys')
| -rwxr-xr-x | projects/mosys/mosys | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/projects/mosys/mosys b/projects/mosys/mosys index f0f3345b..b795deb2 100755 --- a/projects/mosys/mosys +++ b/projects/mosys/mosys @@ -56,18 +56,16 @@ build() { project_sources_directory_missing_empty_error "$project" "$repository" "$@" - local sources_path=$( project_sources_path "$project" "$repository" "$@" ) - local build_path=$( project_build_path "$project" "$@" ) + local sources_path=$(project_sources_path "$project" "$repository" "$@") + local build_path=$(project_build_path "$project" "$@") - local flashmap_build_path=$( project_build_path "flashmap" "$@" ) + local flashmap_build_path=$(project_build_path "flashmap" "$@") if git_project_check "$repository" then git_project_checkout "$project" "$repository" "$@" fi - project_action "build" "flashmap" "$@" - mkdir -p "$build_path" make -C "$sources_path" objtree="$build_path" "defconfig" |