diff options
| -rwxr-xr-x | projects/mosys/mosys | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/projects/mosys/mosys b/projects/mosys/mosys index 145a467d..5ac27ee4 100755 --- a/projects/mosys/mosys +++ b/projects/mosys/mosys @@ -66,8 +66,6 @@ build() { git_project_checkout "$project" "$repository" "$@" fi - project_action_arguments "build" "flashmap" "$@" - mkdir -p "$build_path" make -C "$sources_path" objtree="$build_path" "defconfig" |