changeset 27669:f85ff39d7524

Do not set DESTDIR to an empty value so that it can be overridden on the command line.
author diego
date Sat, 04 Oct 2008 10:39:29 +0000
parents 216f4d0f0de8
children d9d5ba3da7d0
files configure
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sat Oct 04 10:18:42 2008 +0000
+++ b/configure	Sat Oct 04 10:39:29 2008 +0000
@@ -7762,7 +7762,6 @@
 MAN_LANGS = $man_langs
 MAN_LANG_ALL = $man_lang_all
 
-DESTDIR =
 prefix = \$(DESTDIR)$_prefix
 BINDIR = \$(DESTDIR)$_bindir
 DATADIR = \$(DESTDIR)$_datadir