From 360865e3d4647a20b00661af6c3efaca8f36f994 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 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 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