scripts/build_inf.sh: add debian support 54/9654/1
[pti/rtp.git] / scripts / build_inf_debian /
drwxr-xr-x   ..
-rwxr-xr-x 10862 build_inf_debian.sh
-rwxr-xr-x 2912 build_inf_prepare_jenkins.sh