if [ $skipdeb != yes ]; then
# We use a chroot environment on the build machine for the debian
# builds, so this build is pretty simple. Just copy the tarball
if [ $skipdeb != yes ]; then
# We use a chroot environment on the build machine for the debian
# builds, so this build is pretty simple. Just copy the tarball