scripts/build_inf.sh: add debian support 54/9654/1
[pti/rtp.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 5664 build_inf.sh
drwxr-xr-x - build_inf_centos
drwxr-xr-x - build_inf_debian
drwxr-xr-x - build_inf_yocto