Lines Matching refs:EXEC
154 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
156 # out after a failed `exec'.
263 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
265 # out after a failed `exec'.
503 # Don't try to exec as it changes $[0], causing all sort of problems
570 test -n "$DJDIR" || exec 7<&0 </dev/null
571 exec 6>&1
1462 -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
1463 | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
1464 | --exec | --exe | --ex)
1466 -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
1467 | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
1468 | --exec=* | --exe=* | --ex=*)
1778 test "$silent" = yes && exec 6>/dev/null
1878 --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
3279 exec 5>>config.log
37768 exec 6>&1
37935 exec 6>/dev/null
37947 exec "\$@"
37952 exec 5>>config.log
39929 # output is simply discarded. So we exec the FD to /dev/null,
39938 exec 5>/dev/null
39940 exec 5>>config.log
40031 EXEC-PREFIX = $EXEC_PREFIX_DIR
40123 EXEC-PREFIX = $EXEC_PREFIX_DIR
