From 75924a35c962f95b20f7e9e5ae91fadbf8fda66b Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Sun, 17 Dec 2017 17:08:49 +0200 Subject: [PATCH] Add submodule tools/check_build --- .gitmodules | 4 ++++ tools/check_build | 1 + 2 files changed, 5 insertions(+) create mode 160000 tools/check_build 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 diff --git a/tools/check_build b/tools/check_build new file mode 160000 index 0000000000..ec4e8e2df2 --- /dev/null +++ b/tools/check_build @@ -0,0 +1 @@ +Subproject commit ec4e8e2df241294191d6ef0134d39ad95ae2ef4b