diff --git a/Makefile b/Makefile index d906a1454e..9c263c0a0e 100644 --- a/Makefile +++ b/Makefile @@ -134,7 +134,7 @@ clean-local: check-merges-reproducibility: @echo "Running replay_merge for each idx in parallel using GNU Parallel..." @set -e; \ - tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --halt now,fail=1 -j 50% python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -skip_build -delete_workdir --idx {} + tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --halt now,fail=1 -j 50% python3 src/python/replay_merge.py -delete_workdir --idx {} protect-repos: find repos -mindepth 1 -type d -exec chmod a-w {} + diff --git a/src/python/repo.py b/src/python/repo.py index d507b3579d..9896d4e791 100755 --- a/src/python/repo.py +++ b/src/python/repo.py @@ -215,6 +215,14 @@ def clone_repo(self) -> None: with lock: if self.repo_path.exists(): return + print( + "Cloning", + self.repo_slug, + "to", + self.repo_path, + "because:", + self.repo_path.exists(), + ) try: clone_repo(self.repo_slug, self.repo_path) except Exception as e: