diff options
| -rw-r--r-- | gnattools/ChangeLog | 4 | ||||
| -rw-r--r-- | gnattools/Makefile.in | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index e11c17751291..1a0baa3d470a 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,7 @@ +2005-03-09 Arnaud Charlet <charlet@adacore.com> + + * Makefile.in: Fix incorrect use of ' in shell command + 2005-02-02 Nathanael Nerode <neroden@gcc.gnu.org> * Makefile.in: Remove use of cc_set_by_configure; just use diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 44208f6d0ed9..fcd59ce74695 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; \ |