From: Alexander Popov Date: Mon, 30 Mar 2020 13:36:14 +0000 (+0300) Subject: Count checked configs X-Git-Tag: v0.5.7~39 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=c7b604c4e0267bf30bbbc8c9db78afcd516f138e;p=kconfig-hardened-check.git Count checked configs --- diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 379de5e..69ae4eb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -41,9 +41,11 @@ jobs: echo ">>>>> check all configs <<<<<" CONFIG_DIR=`find /opt/hostedtoolcache/Python/ -name config_files` CONFIGS=`find $CONFIG_DIR -type f|grep "\.config"` + COUNT=0 for C in $CONFIGS do - echo -e "\n>>>>> checking $C <<<<<" + COUNT=$(expr $COUNT + 1) + echo -e "\n>>>>> checking config number $COUNT <<<<<" kconfig-hardened-check -c $C || exit done - echo -e "\n>>>>> checking done <<<<<" + echo -e "\n>>>>> checking $COUNT configs is done <<<<<"