diff options
Diffstat (limited to '.ci/Makefile')
| -rw-r--r-- | .ci/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/Makefile b/.ci/Makefile index 4897f73..f908c1f 100644 --- a/.ci/Makefile +++ b/.ci/Makefile @@ -201,7 +201,7 @@ echo/boost/%/exe/run: FORCE echo/boost/%/exe/arch: FORCE @echo --------------------------------------------------------------------- - @echo Boost 1.$*.0: verifying boost_1_$*_0/bin/foo + @echo Boost 1.$*.0: checking target architecture of boost_1_$*_0/bin/foo @echo --------------------------------------------------------------------- echo/boost/%/finished: FORCE |