[sudo-commits] sudo changeset 7433:8ee6e0891f27

[Todd C. Miller]

changeset:	7433:8ee6e0891f27 in /home/hg/sudo
details:	http://www.sudo.ws/repos/sudo/rev/8ee6e0891f27
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Fri Dec 02 13:43:02 2011 -0500

Log Message:
	Replace @DEV@ prefix with DEVEL variable so we can do "make DEVEL=1"

diffstat:

 compat/Makefile.in          |    9 ++-
 configure                   |    6 +-
 configure.in                |    6 +-
 doc/Makefile.in             |  141 ++++++++++++++++++++++++++++++-------------
 plugins/sudoers/Makefile.in |   55 +++++++++-------
 5 files changed, 142 insertions(+), 75 deletions(-)