diff --git a/.gitmodules b/.gitmodules index fef77ae..d62e72d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -66,10 +66,6 @@ path = examples/healthcheck/repoverify url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-examples.git branch = healthcheck/repoverify -[submodule "examples/cppcheck/sillycode"] - path = examples/cppcheck/sillycode - url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-examples.git - branch = cppcheck/sillycode [submodule "examples/keyword/script"] path = examples/keyword/script url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-examples.git diff --git a/README.md b/README.md index 864aad3..e8ab027 100644 --- a/README.md +++ b/README.md @@ -52,7 +52,6 @@ For now, the following checking tools are needed for test: 3. `cmake` 4. `make` 5. `cpplint` -6. `cppcheck` ```bash $ make test diff --git a/examples/cppcheck/sillycode b/examples/cppcheck/sillycode deleted file mode 160000 index 97081f2..0000000 --- a/examples/cppcheck/sillycode +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 97081f27ad689b87eec4632086664435fa82ec5e