File tree Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change 33. ./benchmark.config
44. ./base/option_target.sh
55
6+ OK=' \U2714'
7+ FAIL=' \U274C'
8+
69GREEN=' \033[0;32m'
710RED=' \033[0;31m'
811NC=' \033[0m' # No Color
912
1013for fw in ` echo $param_targets `
1114do
1215 if [ -d " $fw " ]; then
13- echo -n " /------- $fw : checking... "
1416 . " $fw /_benchmark/hello_world.sh"
1517
1618 url_output=$( curl -s " $url " )
1719
1820 # expected to get the Hello World! + libs/output_data.php
1921 if ! [[ " $url_output " =~ ^(' Hello World!' )(.* )(( [0 - 9 ]* ): (([0 - 9 ]+ ([.][0 - 9 ]* )?| [.][0 - 9 ]+ )) :([0-9]* ))$ ]]; then
20- echo -e " ${RED} error: \n$url ${NC} "
22+ echo -e " ${RED}${FAIL} $fw ${NC} "
23+ echo " $url "
2124 echo " $url_output "
2225 else
23- echo -e " ${GREEN} done! ${NC} "
26+ echo -e " ${GREEN}${OK} $fw ${NC} "
2427 fi
2528 fi
2629done
You can’t perform that action at this time.
0 commit comments