diff configure.in @ 416:ebe98a74bd68 r21-2-16

Import from CVS: tag r21-2-16
author cvs
date Mon, 13 Aug 2007 11:22:23 +0200
parents da8ed4261e83
children e804706bfb8c
line wrap: on
line diff
--- a/configure.in	Mon Aug 13 11:21:40 2007 +0200
+++ b/configure.in	Mon Aug 13 11:22:23 2007 +0200
@@ -1893,6 +1893,7 @@
 if test -n "$site_prefixes"; then
   for dir in $site_prefixes; do
     lib_dir="${dir}/lib"
+    inc_dir="${dir}/include"
     if test ! -d "$dir"; then
       XE_DIE("Invalid site prefix \`$dir': no such directory")
     elif test ! -d "$lib_dir"; then