diff --git a/common-project.include b/common-project.include index 175bb032..21fbb5de 100644 --- a/common-project.include +++ b/common-project.include @@ -208,17 +208,11 @@ ${tool.dir} : dir for tools - - - - - + - + - - @@ -239,10 +233,7 @@ ${tool.dir} : dir for tools - - - - + @@ -258,8 +249,6 @@ ${tool.dir} : dir for tools - -