diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2017-12-17 17:08:49 +0200 |
|---|---|---|
| committer | Peter Dimov <pdimov@pdimov.com> | 2017-12-22 00:09:39 +0200 |
| commit | 75924a35c962f95b20f7e9e5ae91fadbf8fda66b (patch) | |
| tree | 21bb8dde916e2995c1312b5f27cd349038ace08a /.gitmodules | |
| parent | 4141ff223154ca6176a46a84b52bd7b12f5fb16c (diff) | |
| download | boost-75924a35c962f95b20f7e9e5ae91fadbf8fda66b.tar.gz | |
Add submodule tools/check_build
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 72348516e6..104c5b65be 100644 --- a/.gitmodules +++ b/.gitmodules @@ -546,3 +546,7 @@ path = libs/callable_traits url = ../callable_traits.git fetchRecurseSubmodules = on-demand +[submodule "check_build"] + path = tools/check_build + url = ../check_build.git + fetchRecurseSubmodules = on-demand |