aboutsummaryrefslogtreecommitdiff
path: root/projects/mosys
diff options
context:
space:
mode:
Diffstat (limited to 'projects/mosys')
-rwxr-xr-xprojects/mosys/mosys4
1 files changed, 0 insertions, 4 deletions
diff --git a/projects/mosys/mosys b/projects/mosys/mosys
index fecf9267..4407d784 100755
--- a/projects/mosys/mosys
+++ b/projects/mosys/mosys
@@ -23,10 +23,6 @@ dependencies() {
project_dependencies "$project" "$@"
}
-dependencies_check() {
- project_dependencies_check "$project" "$@"
-}
-
download() {
local repository=$project