* configure: Check ${exec_prefixoption}, not ${exec_prefix}, to
authorJean Marie Diaz <ambar@cygnus>
Mon, 27 Jun 1994 20:52:52 +0000 (20:52 +0000)
committerJean Marie Diaz <ambar@cygnus>
Mon, 27 Jun 1994 20:52:52 +0000 (20:52 +0000)
commit55f6c903f6f5c7fab021cc651178258a374839cc
tree3cab7956a5f762ac044b1e08c618f34a99d60d07
parentbffce4c6b8bd07e7183378331c524d13dbfed28f
* configure: Check ${exec_prefixoption}, not ${exec_prefix}, to
see whether --exec-prefix was used.
ChangeLog
This page took 0.024009 seconds and 4 git commands to generate.