Trying to fix strange IDE behaviour: it mixes stderr and stdout at the end

of compilation

Signed-off-by: Federico Fissore <[email protected]>

Author: Federico Fissore

Diff for: src/arduino.cc/builder/print_used_and_not_used_libraries.go

@@ -35,6 +35,7 @@ import (
 	"arduino.cc/builder/types"
 	"arduino.cc/builder/utils"
 	"os"
+	"time"
 )
 
 type PrintUsedAndNotUsedLibraries struct{}
@@ -57,5 +58,7 @@ func (s *PrintUsedAndNotUsedLibraries) Run(context map[string]interface{}) error
 		}
 	}
 
+	time.Sleep(100 * time.Millisecond)
+
 	return nil
 }

Diff for: src/arduino.cc/builder/print_used_libraries_if_verbose.go

@@ -33,6 +33,7 @@ import (
 	"arduino.cc/builder/constants"
 	"arduino.cc/builder/i18n"
 	"arduino.cc/builder/types"
+	"time"
 )
 
 type PrintUsedLibrariesIfVerbose struct{}
@@ -59,5 +60,7 @@ func (s *PrintUsedLibrariesIfVerbose) Run(context map[string]interface{}) error
 		}
 	}
 
+	time.Sleep(100 * time.Millisecond)
+
 	return nil
 }