show in log that we mangle names

buildjob

@@ -44,6 +44,7 @@ fi
 env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
 
 if [[ -n "$MANGLE_NAMES" ]]; then
+    status "[buildjob] Enabling name mangling"
     export COQEXTRAFLAGS="$COQEXTRAFLAGS -mangle-names _"
 fi
 if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" ]]; then