build_inf.sh: add debug info for CI jenkins build 31/8331/3
[pti/rtp.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 4379 build_inf.sh
drwxr-xr-x - build_inf_centos
drwxr-xr-x - build_inf_yocto