File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
python/tools/recorded-call-graph-metrics Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ repo() {
5050 for project in $@ ; do
5151 check_project_exists $project
5252
53- echo " Cloning repo for $project "
53+ echo " Cloning repo for ' $project ' "
5454
5555 REPO_DIR=$( repo_dir $project )
5656
@@ -75,7 +75,7 @@ setup() {
7575 for project in $@ ; do
7676 check_project_exists $project
7777
78- echo " Setting up $project "
78+ echo " Setting up ' $project ' "
7979
8080 python3 -m venv $( venv_dir $project )
8181 source $( venv_dir $project ) /bin/activate
@@ -99,7 +99,7 @@ trace() {
9999 for project in $@ ; do
100100 check_project_exists $project
101101
102- echo " Tracing '$project "
102+ echo " Tracing '$project ' "
103103
104104 source $( venv_dir $project ) /bin/activate
105105
@@ -118,7 +118,7 @@ db() {
118118 for project in $@ ; do
119119 check_project_exists $project
120120
121- echo " Creating CodeQL database for '$project "
121+ echo " Creating CodeQL database for '$project ' "
122122
123123 DB=$( db_path $project )
124124 SRC=$( repo_dir $project )
You can’t perform that action at this time.
0 commit comments