# HG changeset patch
# User arpi
# Date 997056619 0
# Node ID 67af15b5f1a270e09814d017f4d39928e521c991
# Parent  024fca5abc79a140f38341cdf596ac8537c93e9b
more paranoia -> check for DEC_OPT_FRAME_311

diff -r 024fca5abc79 -r 67af15b5f1a2 configure
--- a/configure	Mon Aug 06 00:07:53 2001 +0000
+++ b/configure	Mon Aug 06 00:10:19 2001 +0000
@@ -852,7 +852,7 @@
 
 cat > $TMPC << EOF
 #include <decore.h>
-int main( void ) { return 0; }
+int main( void ) { return DEC_OPT_FRAME_311; }
 EOF
 $_cc $_x11incdir $TMPC -o $TMPO $_x11libdir -lX11 -lXext -lGL -pthread $_socklib > /dev/null 2>&1 || \
  { _gl=no; echo "GL includes not found!";}