diff --git a/build/build.xml b/build/build.xml index 7ba718d92..4fa426eed 100644 --- a/build/build.xml +++ b/build/build.xml @@ -471,7 +471,39 @@ + + + + + + + + + + + + + + ======================================================= + Arduino source distribution was built. Grab the archive from + + arduino-${version}-src.tar.gz + ======================================================= + + +