K 10 svn:author V 6 marcus K 8 svn:date V 27 2004-06-29T06:09:10.000000Z K 7 svn:log V 72 Correct a typo. CONFIGURE_ARGS should obviously be CONFIGURE_ENV here. END