comparison configure.in @ 2085:962aa10fa95b

make enable match name
author Patrice Mandin <patmandin@gmail.com>
date Thu, 08 Feb 2007 21:54:18 +0000
parents 1ed2155b7ee4
children cdaeb26ed66a
comparison
equal deleted inserted replaced
2084:b656e6f09be3 2085:962aa10fa95b
1293 } 1293 }
1294 1294
1295 dnl Set up the Atari Xbios driver 1295 dnl Set up the Atari Xbios driver
1296 CheckAtariXbiosVideo() 1296 CheckAtariXbiosVideo()
1297 { 1297 {
1298 AC_ARG_ENABLE(xbios, 1298 AC_ARG_ENABLE(video-xbios,
1299 AC_HELP_STRING([--enable-video-xbios], [use Atari Xbios video driver [[default=yes]]]), 1299 AC_HELP_STRING([--enable-video-xbios], [use Atari Xbios video driver [[default=yes]]]),
1300 , enable_video_xbios=yes) 1300 , enable_video_xbios=yes)
1301 video_xbios=no 1301 video_xbios=no
1302 if test x$enable_video = xyes -a x$enable_video_xbios = xyes; then 1302 if test x$enable_video = xyes -a x$enable_video_xbios = xyes; then
1303 video_xbios=yes 1303 video_xbios=yes
1308 } 1308 }
1309 1309
1310 dnl Set up the Atari Gem driver 1310 dnl Set up the Atari Gem driver
1311 CheckAtariGemVideo() 1311 CheckAtariGemVideo()
1312 { 1312 {
1313 AC_ARG_ENABLE(gem, 1313 AC_ARG_ENABLE(video-gem,
1314 AC_HELP_STRING([--enable-video-gem], [use Atari Gem video driver [[default=yes]]]), 1314 AC_HELP_STRING([--enable-video-gem], [use Atari Gem video driver [[default=yes]]]),
1315 , enable_video_gem=yes) 1315 , enable_video_gem=yes)
1316 if test x$enable_video = xyes -a x$enable_video_gem = xyes; then 1316 if test x$enable_video = xyes -a x$enable_video_gem = xyes; then
1317 video_gem=no 1317 video_gem=no
1318 AC_CHECK_HEADER(gem.h, have_gem_hdr=yes) 1318 AC_CHECK_HEADER(gem.h, have_gem_hdr=yes)