diff options
author | Peter Dimov <pdimov@pdimov.com> | 2017-12-18 03:56:02 +0200 |
---|---|---|
committer | Peter Dimov <pdimov@pdimov.com> | 2017-12-22 15:36:44 +0200 |
commit | 0216ee7199794f93f0474b73f3846ce0144d82f6 (patch) | |
tree | ed513418e7f8c2734f4ec4e8f36d088900842493 /status | |
parent | b6fb48aaeafa33c925d5d90d1c5b117f69bd64a0 (diff) | |
download | boost-0216ee7199794f93f0474b73f3846ce0144d82f6.tar.gz |
Add tools/check_build to status/Jamfile
Diffstat (limited to 'status')
-rw-r--r-- | status/Jamfile.v2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/status/Jamfile.v2 b/status/Jamfile.v2 index a919a729a8..12d7a2fb18 100644 --- a/status/Jamfile.v2 +++ b/status/Jamfile.v2 @@ -197,7 +197,7 @@ run-tests libs : $(libs-to-test)/test ; # Tests from Jamfiles in tools/ # Please keep these in alphabetical order -local tools-to-test = bcp ; +local tools-to-test = bcp check_build ; run-tests tools : $(tools-to-test)/test ; |