Lines Matching refs:exec_prefix
54 exec_prefix=${exec_prefix-'${prefix}'}
55 libdir=${libdir-'${exec_prefix}/lib'}
81 -e*=* | --eprefix=*) exec_prefix=`echo $1 | sed 's/.*=//'`; shift ;;
87 -e* | --eprefix) exec_prefix="$2"; shift; shift ;;
657 echo exec_prefix = $exec_prefix >> configure.log
687 /^exec_prefix *=/s#=.*#=$exec_prefix#
712 /^exec_prefix *=/s#=.*#=$exec_prefix#