diff --git a/configure b/configure index 5fbd81285fa185dc74670a882e488743cc802c12..c98aed1c64c6c2dafe26d5a447b8a69e2198d28b 100755 --- a/configure +++ b/configure @@ -249,7 +249,7 @@ source_path=`cd "$source_path"; pwd` check_define() { cat > $TMPC <