Lines Matching refs:pre
122 # Work around bugs in pre-3.0 UWIN ksh.
1333 | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
1337 | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
1425 -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
1427 -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
1431 | --program-pre | --program-pr | --program-p)
1434 | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
6874 # Worse, since 9x/ME are not pre-emptively multitasking,
14711 # Workaround some broken pre-1.5 toolchains
27271 { { $as_echo "$as_me:$LINENO: error: *** xmltoman was not found or was disabled, it is required to build the manpages as they have not been pre-built, install xmltoman, pass --disable-manpages or dont pass --disable-xmltoman" >&5
27272 $as_echo "$as_me: error: *** xmltoman was not found or was disabled, it is required to build the manpages as they have not been pre-built, install xmltoman, pass --disable-manpages or dont pass --disable-xmltoman" >&2;}
28086 # Work around bugs in pre-3.0 UWIN ksh.