diff --git a/prod_build/linux/debian/conf/version_info b/prod_build/linux/debian/conf/version_info deleted file mode 100644 index 288cd5c8353e7f97d2afb4e5eb15779621861c7a..0000000000000000000000000000000000000000 --- a/prod_build/linux/debian/conf/version_info +++ /dev/null @@ -1,3 +0,0 @@ -VERSION_FILE=config.pri -VERSION_ENTRIES="VER_MAJ VER_MIN VER_PAT VER_CODE" -VERSION_FORMAT="VER_MAJ.VER_MIN-VER_PAT" diff --git a/prod_build/linux/debian/scripts/pre-build.sh b/prod_build/linux/debian/scripts/pre-build.sh index 27dae1c146e17145935306d03a914ed61d6de982..a5edcfbc05e59db10b693fe7f5c38e4efe5fa55f 100755 --- a/prod_build/linux/debian/scripts/pre-build.sh +++ b/prod_build/linux/debian/scripts/pre-build.sh @@ -124,8 +124,10 @@ CHROOT_PREFIX=$1 for distr in $HOST_DISTR_VERSIONS; do #we need to install required dependencies under schroot. for arch in $HOST_ARCH_VERSIONS; do echo "$CHROOT_PREFIX-$distr-$arch" - schroot -c $CHROOT_PREFIX-$distr-$arch -- prod_build/linux/debian/scripts/chroot/pre-build.sh "$PKG_DEPS" + schroot -c $CHROOT_PREFIX-$distr-$arch -- prod_build/linux/debian/scripts/chroot/pre-build.sh "$PKG_DEPS" || errcode=$? + [[ $errcode != 0 ]] && echo "Problems with $CHROOT_PREFIX-$distr-$arch occured. You had installed it, right?" done done +exit 0 ## Maybe we do have the version required? Then we don't need to build it again. CHECK IT THERE!