diff options
author | Arnaud Charlet <charlet@adacore.com> | 2005-03-09 09:49:09 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-03-09 10:49:09 +0100 |
commit | ab743bf6439788276709c91deb0e018f5bdfa944 (patch) | |
tree | f2ab30be019823208b096aa8a4478e371643f74f /gnattools/Makefile.in | |
parent | 0f875e1a602ba1c68b6e47e375f8ea8ac56962a2 (diff) |
* Makefile.in: Fix incorrect use of ' in shell command
From-SVN: r96181
Diffstat (limited to 'gnattools/Makefile.in')
-rw-r--r-- | gnattools/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 44208f6d0ed..fcd59ce7469 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -170,7 +170,7 @@ gnattools: @default_gnattools_target@ $(GCC_DIR)/stamp-gnatlib: @if [ ! -f $(GCC_DIR)/stamp-gnatlib ] ; \ then \ - echo Can't build gnattools while gnatlib is out of date or unbuilt ; \ + echo "Cannot build gnattools while gnatlib is out of date or unbuilt" ; \ false; \ else \ true; \ |