diff --git a/Tools/build.xml b/Tools/build.xml index 9d4e6dbc39..19c8de2489 100644 --- a/Tools/build.xml +++ b/Tools/build.xml @@ -41,6 +41,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. Java/Source/MigrationTools/build.xml Java/Source/ContextTool/build.xml Java/Source/Merge/build.xml + Java/Source/CheckTools/build.xml "/> @@ -182,6 +183,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. Java/Source/MigrationTools/build.xml Java/Source/ContextTool/build.xml Java/Source/Merge/build.xml + Java/Source/CheckTools/build.xml CCode/Source/build.xml "/> @@ -233,6 +235,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. Java/Source/MigrationTools/build.xml Java/Source/ContextTool/build.xml Java/Source/Merge/build.xml + Java/Source/CheckTools/build.xml CCode/Source/build.xml "/>