Merge "docs/developer-guide: update for debian build" into g-release
[pti/rtp.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 6139 build_inf.sh
drwxr-xr-x - build_inf_centos
drwxr-xr-x - build_inf_debian
drwxr-xr-x - build_inf_yocto