Merge branch 'master' of git.verivue.com:/git/planetlab/build
[build.git] / getdistro.sh
1 #!/bin/bash
2
3 . $(dirname $0)/build.common
4
5 echo $pl_DISTRO
6