Improve logging

diff --git a/src/org/argeo/build/Make.java b/src/org/argeo/build/Make.java
index 23477388f1861b46428805759e20d0b56291ebf9..7eda0ab4490c6135147ee594aa32c73407343cbd 100644 (file)
--- a/src/org/argeo/build/Make.java
+++ b/src/org/argeo/build/Make.java
@@ -320,6 +320,7 @@ public class Make {
                if (targetDirs.size() != 1)
                        throw new IllegalArgumentException("One and only one --target must be specified");
                Path targetA2 = Paths.get(targetDirs.get(0));
+               logger.log(INFO, "Intsalling to " + targetA2 + " ms");
 
                final String branch;
                Path branchMk = sdkSrcBase.resolve(BRANCH_MK);