Stat reporting was broken since June 28 due to missing symlink and

makefile not failing
semgrep · Aug 24, 2021 · 5e0a4a9 · 5e0a4a9
1 parent 58fd82c
commit 5e0a4a9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -77,7 +77,7 @@ jobs:
           command: opam exec -- make stat
       - run:
           name: upload parsing stats
-          command: python3 ./scripts/upload-stat.py lang/stat.txt
+          command: python3 ./scripts/upload-stat lang/stat.txt
       - store_artifacts:
           path: lang/stat.txt
 

diff --git a/lang/Makefile b/lang/Makefile
@@ -108,8 +108,8 @@ dry:
 #
 .PHONY: stat
 stat:
-	set -e; \
-	for lang in $(STAT_LANGUAGES); do $(MAKE) -C $$lang stat; done
+	set -eu -o pipefail; \
+	for lang in $(STAT_LANGUAGES); do $(MAKE) -C $$lang stat; done; \
 	../scripts/report-stat $(STAT_LANGUAGES) | tee stat.txt
 
 # Run stats on projects-priv.txt instead of projects.txt.

diff --git a/scripts/report-stat b/scripts/report-stat
@@ -0,0 +1 @@
+../core/scripts/report-stat
diff --git a/scripts/upload-stat.py → scripts/upload-stat b/scripts/upload-stat.py → scripts/upload-stat