doc(hicn): do not build doxygen

[ci-management.git] / jjb / scripts / hicn / build-extras.sh

diff --git a/jjb/scripts/hicn/build-extras.sh b/jjb/scripts/hicn/build-extras.sh
index bcf913b..c1e0e3e 100644 (file)
--- a/jjb/scripts/hicn/build-extras.sh
+++ b/jjb/scripts/hicn/build-extras.sh
@@ -2,6 +2,8 @@
 # basic build script example
 set -euxo pipefail
 
+echo "---> jjb/scripts/hicn/build-extras.sh"
+
 pushd scripts
 bash ./build-extras.sh
 popd