From 80bc983bcc5ed5c163c2098d7408be4866e46c2a Mon Sep 17 00:00:00 2001 From: Zongfang Lin Date: Fri, 27 Aug 2021 14:37:48 -0700 Subject: [PATCH] fix the command make ctorture --- .gitignore | 1 + Makefile | 2 ++ 2 files changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index f71bf2703f..c72a2b3c5d 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 8062081669..d43ed16158 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 -- Gitee