fix getdistro for debians as wheezy has gone from 7.0 to 7.1
[build.git] / getdistro.sh
1 #!/bin/bash
2
3 . $(dirname $0)/build.common
4
5 echo $pl_DISTRO
6