the kernel rebuilt on f14 crashes at startup - use the one (same sources) that was...
[build.git] / getdistro.sh
1 #!/bin/bash
2
3 . $(dirname $0)/build.common
4
5 echo $pl_DISTRO
6