diff --git a/.gitignore b/.gitignore index f71bf2703f6ebf9a684037b3df228a6082d56a73..c72a2b3c5dc646b9e41f3ed110450fd91942c3d8 100644 --- a/.gitignore +++ b/.gitignore @@ -22,6 +22,7 @@ tools/release* tools/sysroot-glibc* build/logs* libjava-core +spec2017/ output compile_commands.json testsuite/tools* diff --git a/Makefile b/Makefile index 80620816695f59472344684f1087fec9de38546d..d43ed161582e4bb63cf4dd93d63dfcbf91a087f3 100644 --- a/Makefile +++ b/Makefile @@ -153,6 +153,8 @@ ctorture-ci: .PHONY: ctorture ctorture: + echo "check ctorture folder" + if [ ! -d "third_party/ctorture" ]; then git clone https://gitee.com/hu-_-wen/ctorture.git third_party/ctorture; fi (cd third_party/ctorture; git checkout .; git pull; ./run.sh work.list) THREADS := 50