diff --git a/common-project.include b/common-project.include index 80667dc4..17937835 100644 --- a/common-project.include +++ b/common-project.include @@ -185,8 +185,10 @@ ${tool.dir} : dir for tools --> - + +