File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
src/script/webgraph_ranking Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -100,7 +100,7 @@ set -e # stop on errors
100100download_files " $NAME " graph properties stats
101101download_files " $NAME -t" graph properties
102102
103- if [ $GRAPH_AGGR_LEVEL == " domain" ]; then
103+ if [ " $GRAPH_AGGR_LEVEL " == " domain" ]; then
104104 download_files " $NAME -vertices" txt.gz
105105else
106106 download_files " $NAME -vertices" paths.gz
@@ -118,7 +118,7 @@ list_webgraph_files $NAME graph properties stats
118118echo " - webgraph (transpose)"
119119list_webgraph_files $NAME -t graph properties
120120echo " - webgraph vertices"
121- if [ $GRAPH_AGGR_LEVEL == " domain" ]; then
121+ if [ " $GRAPH_AGGR_LEVEL " == " domain" ]; then
122122 list_webgraph_files $NAME -vertices txt.gz
123123else
124124 list_webgraph_files vertices " *.txt.gz"
You can’t perform that action at this time.
0 commit comments