diff options
Diffstat (limited to 'projects/mosys')
| -rwxr-xr-x | projects/mosys/mosys | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/projects/mosys/mosys b/projects/mosys/mosys index 5ac27ee4..b795deb2 100755 --- a/projects/mosys/mosys +++ b/projects/mosys/mosys @@ -56,10 +56,10 @@ 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 |