Avoid duplicate directories if vardir and rundir are the same.

diff --git a/sudo.pp b/sudo.pp
index 22eb52e8d4509f009c8df6f13927fc63c29a878c..e869a9b382d7ee8d0f7a4d50dc76db7e3a0c2e91 100644 (file)
--- a/sudo.pp
+++ b/sudo.pp
@@ -12,7 +12,7 @@ limited root privileges to users and log root activity.  \
 The basic philosophy is to give as few privileges as possible but \
 still allow people to get their work done."
        vendor="Todd C. Miller"
-       copyright="(c) 1993-1996,1998-2013 Todd C. Miller"
+       copyright="(c) 1993-1996,1998-2014 Todd C. Miller"
        sudoedit_man=`echo ${pp_destdir}$mandir/*/sudoedit.*|sed "s:^${pp_destdir}::"`
        sudoedit_man_target=`basename $sudoedit_man | sed 's/edit//'`
 
@@ -267,7 +267,7 @@ still allow people to get their work done."
        $libexecdir/sudo/*      $shlib_mode optional
        $sudoersdir/sudoers.d/  0750 $sudoers_uid:$sudoers_gid
        $rundir/                0711 root:
-       $vardir/                0711 root:
+       $vardir/                0711 root: ignore-others
        $docdir/                0755
        $docdir/sudoers2ldif    0755 optional,ignore-others
 %if [deb]