4.2 builds to use the new PLCAPI 4.2 branch
[build.git] / getdistro.sh
1 #!/bin/bash
2
3 . build.common
4
5 echo $pl_DISTRO
6