From ce42221cf780326aec2f8d654aa2f8c104f31871 Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Thu, 23 Jul 2020 17:57:52 +0200 Subject: [PATCH] Python: CG trace: Fix some printing in helper.sh --- python/tools/recorded-call-graph-metrics/helper.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/python/tools/recorded-call-graph-metrics/helper.sh b/python/tools/recorded-call-graph-metrics/helper.sh index cb072347a8d..9214fcbce46 100755 --- a/python/tools/recorded-call-graph-metrics/helper.sh +++ b/python/tools/recorded-call-graph-metrics/helper.sh @@ -50,7 +50,7 @@ repo() { for project in $@; do check_project_exists $project - echo "Cloning repo for $project" + echo "Cloning repo for '$project'" REPO_DIR=$(repo_dir $project) @@ -75,7 +75,7 @@ setup() { for project in $@; do check_project_exists $project - echo "Setting up $project" + echo "Setting up '$project'" python3 -m venv $(venv_dir $project) source $(venv_dir $project)/bin/activate @@ -99,7 +99,7 @@ trace() { for project in $@; do check_project_exists $project - echo "Tracing '$project" + echo "Tracing '$project'" source $(venv_dir $project)/bin/activate @@ -118,7 +118,7 @@ db() { for project in $@; do check_project_exists $project - echo "Creating CodeQL database for '$project" + echo "Creating CodeQL database for '$project'" DB=$(db_path $project) SRC=$(repo_dir $project)