From 0f08da83af6fe06e57f4ec88011f966435887ac3 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 17 Jan 2013 10:50:33 +0100
Subject: [PATCH] rather rely on /etc/debian_version

---
 vbuild-nightly.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 417f6070..2c5e4311 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -710,7 +710,7 @@ function main () {
 	set +e
 	webpublish rm -rf $WEBPATH/$BASE 
 	# guess if we've been doing any debian-related build
-	if [ ! -d /vservers/$BASE/DEBIAN ] ; then
+	if [ ! -d /vservers/$BASE/etc/debian_version  ] ; then
 	    webpublish mkdir -p $WEBPATH/$BASE/{RPMS,SRPMS}
 	    webpublish_rsync_dir $WEBPATH/$BASE/RPMS/ /vservers/$BASE/build/RPMS/
 	    [[ -n "$PUBLISH_SRPMS" ]] && webpublish_rsync_dir $WEBPATH/$BASE/SRPMS/ /vservers/$BASE/build/SRPMS/
-- 
2.47.0