build_inf.sh: add debug info for CI jenkins build 31/8331/3
[pti/rtp.git] / scripts / build_inf_centos /
drwxr-xr-x   ..
-rwxr-xr-x 9305 build_inf_centos.sh
-rw-r--r-- 13692 stx_build_prepare_centos.sh