Handle repeated builds of a sketch when the build path is inside the sketch directory

Author: MatteoPologruto

Diff for: commands/compile/compile.go

@@ -133,6 +133,11 @@ func Compile(ctx context.Context, req *rpc.CompileRequest, outStream, errStream
 		builderCtx.BuildPath = sk.DefaultBuildPath()
 	} else {
 		builderCtx.BuildPath = paths.New(req.GetBuildPath()).Canonical()
+		if in, err := builderCtx.BuildPath.IsInsideDir(sk.FullPath); err != nil {
+			return nil, err
+		} else if in && builderCtx.BuildPath.Exist() {
+			sk.AdditionalFiles = removeBuildFromSketchFiles(sk.AdditionalFiles, builderCtx.BuildPath)
+		}
 	}
 	if err = builderCtx.BuildPath.MkdirAll(); err != nil {
 		return nil, &arduino.PermissionDeniedError{Message: tr("Cannot create build directory"), Cause: err}
@@ -315,3 +320,16 @@ func maybePurgeBuildCache() {
 	buildcache.New(paths.TempDir().Join("arduino", "cores")).Purge(cacheTTL)
 	buildcache.New(paths.TempDir().Join("arduino", "sketches")).Purge(cacheTTL)
 }
+
+// removeBuildFromSketchFiles removes the files contained in the build directory from
+// the list of the sketch files
+func removeBuildFromSketchFiles(files paths.PathList, build *paths.Path) paths.PathList {
+	var res paths.PathList
+	logrus.Tracef("Build path %s is a child of sketch path and ignored for additional files.", build.String())
+	for _, file := range files {
+		if in, err := file.IsInsideDir(build); !in && err == nil {
+			res = append(res, file)
+		}
+	}
+	return res
+}