From 17a8c722cdc36dd644f58fe1bca17728cfd23b8a Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Thu, 2 Apr 2020 10:15:10 +0100 Subject: [PATCH] Use CodeQL for creating stats. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0f15d031ea8..980c1002bd7 100644 --- a/Makefile +++ b/Makefile @@ -93,7 +93,7 @@ build/stats/src.stamp: ql/src/go.dbscheme.stats: ql/src/go.dbscheme build/stats/src.stamp extractor rm -rf build/stats/database codeql database create -l go -s build/stats/src -j4 --search-path . build/stats/database - odasa collectStats --dbscheme $< --db build/stats/database/db-go --outputFile $@ + codeql dataset measure -o $@ build/stats/database/db-go test: all build/testdb/check-upgrade-path codeql test run ql/test --search-path .