diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2017-12-17 17:08:49 +0200 |
|---|---|---|
| committer | Peter Dimov <pdimov@pdimov.com> | 2017-12-17 17:08:49 +0200 |
| commit | 360865e3d4647a20b00661af6c3efaca8f36f994 (patch) | |
| tree | 8fcd1238aa67b12950a13842f93b5c02d866657d /.gitmodules | |
| parent | 9adbae395d94e6ca12e5f719c4101f0eeb55cf43 (diff) | |
| download | boost-360865e3d4647a20b00661af6c3efaca8f36f994.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 929ff0aa98..ce8563e644 100644 --- a/.gitmodules +++ b/.gitmodules @@ -555,3 +555,7 @@ path = libs/contract url = ../contract.git fetchRecurseSubmodules = on-demand +[submodule "check_build"] + path = tools/check_build + url = ../check_build.git + fetchRecurseSubmodules = on-demand |