build_inf.sh: add debug info for CI jenkins build