From 584d7e292ca12e07a84643cf881610eb8e425c53 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Tue, 19 Feb 2019 15:21:20 +0100
Subject: [PATCH] Make sure chroot creation/update worked

---
 build | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/build b/build
index a02a290..11d823e 100755
--- a/build
+++ b/build
@@ -85,9 +85,15 @@ dch -r -D $dist ""
 basetgz=/var/cache/pbuilder/base-$builddist.tgz
 if [ ! -f $basetgz ]
 then
-	sudo pbuilder create --distribution $builddist --basetgz $basetgz --othermirror "deb http://security.debian.org/debian-security $builddist/updates main"
+	if ! sudo pbuilder create --distribution $builddist --basetgz $basetgz --othermirror "deb http://security.debian.org/debian-security $builddist/updates main" ; then
+		echo "couldn't create chroot"
+		exit 1
+	fi
 else
-	sudo pbuilder update --basetgz $basetgz
+	if ! sudo pbuilder update --basetgz $basetgz ; then
+		echo "couldn't update chroot"
+		exit 1
+	fi
 fi
 
 DEB_BUILD_OPTIONS="nocheck noddebs parallel=64" pdebuild --debbuildopts -B -- --basetgz "$basetgz"
-- 
GitLab