Lines Matching refs:pre
122 # Work around bugs in pre-3.0 UWIN ksh.
1374 | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
1378 | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
1466 -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
1468 -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
1472 | --program-pre | --program-pr | --program-p)
1475 | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
6846 # Worse, since 9x/ME are not pre-emptively multitasking,
14664 # Workaround some broken pre-1.5 toolchains
29401 { { $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
29402 $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;}
30212 # Work around bugs in pre-3.0 UWIN ksh.