From 830140357fc2ad09fc38b3ffd9871357d213d2f1 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Mon, 27 Oct 2014 19:45:13 +0100
Subject: g-i-i: also mount /var/log on those Edu installs which have it. rmdir
 mountpoints after use

---
 etc/sudoers.d/jenkins | 1 +
 1 file changed, 1 insertion(+)

(limited to 'etc')

diff --git a/etc/sudoers.d/jenkins b/etc/sudoers.d/jenkins
index 6b5c35ee..53095f2d 100644
--- a/etc/sudoers.d/jenkins
+++ b/etc/sudoers.d/jenkins
@@ -13,6 +13,7 @@ jenkins ALL=  \
 	/bin/mv /schroots/* /schroots/*, \
 	/bin/umount -l /chroots/*, \
 	/bin/umount -l /media/*, \
+	/bin/rmdir /media/*, \
 	/bin/mount -o loop*, \
 	/bin/mount --bind *, \
 	/usr/bin/du *, \
-- 
cgit v1.2.3-70-g09d2