diff --git a/common-project.include b/common-project.include index 9a049bf2..175bb032 100644 --- a/common-project.include +++ b/common-project.include @@ -187,6 +187,7 @@ ${tool.dir} : dir for tools --> +