From 2da54d1547e5a8f43b313f4ad45cb18de8ea15f8 Mon Sep 17 00:00:00 2001
From: espie <espie@openbsd.org>
Date: Wed, 18 Jul 2012 10:31:18 +0000
Subject: [PATCH] delete DIST once we know

---
 infrastructure/lib/DPB/Job/Port.pm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/infrastructure/lib/DPB/Job/Port.pm b/infrastructure/lib/DPB/Job/Port.pm
index cc6f3e1a6f7..3184f6db0ca 100644
--- a/infrastructure/lib/DPB/Job/Port.pm
+++ b/infrastructure/lib/DPB/Job/Port.pm
@@ -1,5 +1,5 @@
 # ex:ts=8 sw=4:
-# $OpenBSD: Port.pm,v 1.32 2012/07/06 12:01:29 espie Exp $
+# $OpenBSD: Port.pm,v 1.33 2012/07/18 10:31:18 espie Exp $
 #
 # Copyright (c) 2010 Marc Espie <espie@openbsd.org>
 #
@@ -182,6 +182,9 @@ sub run
 			unlink($dist->tempfilename);
 		}
 	}
+	if (!$exit) {
+		delete $job->{v}{info}{DIST};
+	}
 	exit($exit);
 }