diff options
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; \ |