From: Todd C. Miller Date: Sun, 2 Feb 2014 13:39:05 +0000 (-0700) Subject: Avoid duplicate directories if vardir and rundir are the same. X-Git-Tag: SUDO_1_8_10^2~63 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4831eeaac2ec51551789812d4b584ebb15488a21;p=sudo Avoid duplicate directories if vardir and rundir are the same. --- diff --git a/sudo.pp b/sudo.pp index 22eb52e8d..e869a9b38 100644 --- 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]