Home
last modified time | relevance | path

Searched refs:wx_cv_use_timer (Results 1 – 5 of 5) sorted by relevance

/dports/x11-toolkits/wxgtk31/wxWidgets-3.1.5/
H A Dconfigure8068 wx_cv_use_timer='wxUSE_TIMER=yes'
8070 wx_cv_use_timer='wxUSE_TIMER=no'
8075 wx_cv_use_timer='wxUSE_TIMER=${'DEFAULT_wxUSE_TIMER":-$defaultval}"
8080 eval "$wx_cv_use_timer"
/dports/x11-toolkits/wxgtk28-common/wxGTK-2.8.12/
H A Dconfigure6563 eval "$wx_cv_use_timer"
6565 echo $wx_cv_use_timer >> ${wx_arg_cache_file}.tmp
/dports/x11-toolkits/wxgtk28-contrib-common/wxGTK-2.8.12/
H A Dconfigure6563 eval "$wx_cv_use_timer"
6565 echo $wx_cv_use_timer >> ${wx_arg_cache_file}.tmp
/dports/x11-toolkits/wxgtk28/wxGTK-2.8.12/
H A Dconfigure6563 eval "$wx_cv_use_timer"
6565 echo $wx_cv_use_timer >> ${wx_arg_cache_file}.tmp
/dports/x11-toolkits/wxgtk28-contrib/wxGTK-2.8.12/
H A Dconfigure6563 eval "$wx_cv_use_timer"
6565 echo $wx_cv_use_timer >> ${wx_arg_cache_file}.tmp