summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <demaille@gostai.com>2008-10-22 07:15:25 -0500
committerAkim Demaille <demaille@gostai.com>2008-11-15 11:33:00 +0100
commit070e650956e18ab54d949028dd2d0ba47391e1b9 (patch)
tree6ecd9536f52dcf64edcdd5d424a8950784e13c87
parent0078681b6bc2d90f74654f85f076fe224a990f07 (diff)
downloadbison-070e650956e18ab54d949028dd2d0ba47391e1b9.tar.gz
Better error message.
* bootstrap (find_tool): Fix the error message.
-rw-r--r--ChangeLog5
-rwxr-xr-xbootstrap4
2 files changed, 7 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index bd530d5b..6364361c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
2008-11-15 Akim Demaille <demaille@gostai.com>
+ Better error message.
+ * bootstrap (find_tool): Fix the error message.
+
+2008-11-15 Akim Demaille <demaille@gostai.com>
+
Update variant.yy to newest interface.
* examples/variant.yy: Define lex_symbol.
Adjust.
diff --git a/bootstrap b/bootstrap
index f92d1ccd..dbeb0b8d 100755
--- a/bootstrap
+++ b/bootstrap
@@ -144,9 +144,9 @@ vc_ignore=auto
# -------------------------
find_tool ()
{
- # Find sha1sum, named gsha1sum on MacPorts.
find_tool_envvar=$1
shift
+ find_tool_name=$@
if eval test x"\$$find_tool_envvar" = x; then
for i
do
@@ -157,7 +157,7 @@ find_tool ()
done
fi
if test x"$find_tool_res" = x; then
- echo >&2 "$0: $find_tool_name is required"
+ echo >&2 "$0: one of these is required: $find_tool_names"
exit 1
fi
($find_tool_res --version </dev/null) >/dev/null 2>&1 || {