summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrmanfredi <rmanfredi@2592e710-e01b-42a5-8df0-11608a6cc53d>2011-03-01 21:02:51 +0000
committerrmanfredi <rmanfredi@2592e710-e01b-42a5-8df0-11608a6cc53d>2011-03-01 21:02:51 +0000
commitd4b7a140ab4af95a21772c4cf4a59eb52ca1fcf8 (patch)
tree8d19b97b5ea122b858f68472f29ac9f55d3aa28d
parent639209d878d1a8f1d9bff6c14431136e696d9647 (diff)
Tests aimed at substituting commands must take into account a possible
suffix like ".exe". git-svn-id: svn://svn.code.sf.net/p/dist/code/trunk/dist@95 2592e710-e01b-42a5-8df0-11608a6cc53d
-rw-r--r--mcon/U/Loc.U18
1 files changed, 10 insertions, 8 deletions
diff --git a/mcon/U/Loc.U b/mcon/U/Loc.U
index eecb81a..bc378ec 100644
--- a/mcon/U/Loc.U
+++ b/mcon/U/Loc.U
@@ -298,7 +298,7 @@ for file in $trylist; do
esac
done
case "$egrep" in
-egrep)
+egrep$_exe)
echo "Substituting grep for egrep."
egrep=$grep
_egrep=$_grep
@@ -306,7 +306,7 @@ egrep)
esac
@if ln
case "$ln" in
-ln)
+ln$_exe)
echo "Substituting cp for ln."
ln=$cp
_ln=$_cp
@@ -315,7 +315,7 @@ esac
@end
@if make || gmake
case "$make" in
-make)
+make$_exe)
case "$gmake" in
gmake)
echo "I can't find make or gmake, and my life depends on it." >&4
@@ -326,7 +326,7 @@ make)
;;
esac
case "$gmake" in
-gmake) ;;
+gmake$_exe) ;;
*)
?X: We can't have osname yet.
?X: On Stratus VOS, assume that gmake, if found, is definitely GNU make
@@ -344,7 +344,7 @@ esac
?LINT: extern _msgfmt
?LINT: change _gmsgfmt
case "$gmsgfmt" in
-gmsgfmt)
+gmsgfmt$_exe)
echo "Substituting msgfmt for gmsgfmt."
gmsgfmt=$msgfmt
_gmsgfmt=$_msgfmt
@@ -364,7 +364,7 @@ esac
@if xgettext
?LINT: change _xgettext
case "$xgettext" in
-xgettext)
+xgettext$_exe)
xgettext=":"
_xgettext=":"
;;
@@ -388,8 +388,9 @@ xgettext)
esac
@end
case "$test" in
-test)
+test|test$_exe)
echo "Hopefully test is built into your sh."
+ test=test
;;
*)
if `sh -c "PATH= test true" >/dev/null 2>&1`; then
@@ -406,8 +407,9 @@ test)
esac
?LINT:change n c
case "$echo" in
-echo)
+echo|echo$_exe)
echo "Hopefully echo is built into your sh."
+ echo=echo
;;
?X: For those rare cases where we don't need $echo...
'') ;;