Commit 8509a41e authored by Adam Wujek's avatar Adam Wujek 💬 Committed by Grzegorz Daniluk

MAKEALL: change CONFIG_NAME into DEFCONFIG_NAME

Change variable name in scripts to avoid confusion with dot-config variables.
Signed-off-by: Adam Wujek's avatarAdam Wujek <adam.wujek@cern.ch>
parent bdae5fcb
...@@ -35,8 +35,8 @@ for c in $configs; do ...@@ -35,8 +35,8 @@ for c in $configs; do
echo "Error in configuration (see $T)" echo "Error in configuration (see $T)"
exit 1 exit 1
fi fi
CONFIG_NAME=$c DEFCONFIG_NAME=$c
export CONFIG_NAME export DEFCONFIG_NAME
# Remove "# configuration written to .config" from output # Remove "# configuration written to .config" from output
make -s | grep -v '^#' make -s | grep -v '^#'
done done
......
...@@ -45,18 +45,18 @@ if [ "$GIT_HASH_CUR" = "$GIT_HASH_MASTER" ]; then ...@@ -45,18 +45,18 @@ if [ "$GIT_HASH_CUR" = "$GIT_HASH_MASTER" ]; then
fi fi
#echo "Read size info file" #echo "Read size info file"
while read git_hash config_name text data bss dec hex filename while read git_hash defconfig_name text data bss dec hex filename
do do
if [ "$git_hash" = "$GIT_HASH_CUR" ]; then if [ "$git_hash" = "$GIT_HASH_CUR" ]; then
curr_size_array[$config_name]=$dec curr_size_array[$defconfig_name]=$dec
fi fi
done < "$size_info_file" done < "$size_info_file"
#echo "Read size db file" #echo "Read size db file"
while read git_hash config_name text data bss dec hex filename while read git_hash defconfig_name text data bss dec hex filename
do do
#echo "$git_hash $config_name $dec" #echo "$git_hash $defconfig_name $dec"
size_db_array["$git_hash"_"$config_name"]="$dec" size_db_array["$git_hash"_"$defconfig_name"]="$dec"
done < "$size_db_file" done < "$size_db_file"
#print header #print header
......
...@@ -7,11 +7,11 @@ if ! [ -n "$size_info_file" ]; then ...@@ -7,11 +7,11 @@ if ! [ -n "$size_info_file" ]; then
exit 0 exit 0
fi fi
echo $1 $2 $CONFIG_NAME echo $1 $2 $DEFCONFIG_NAME
# separate calling commands and filling DB # separate calling commands and filling DB
SIZES=`$1 $2 | grep $2` SIZES=`$1 $2 | grep $2`
GIT_HASH=`git log --format=format:%H -1` GIT_HASH=`git log --format=format:%H -1`
echo -n "$GIT_HASH " >> "$size_info_file" echo -n "$GIT_HASH " >> "$size_info_file"
echo -n "$CONFIG_NAME ">> "$size_info_file" echo -n "$DEFCONFIG_NAME ">> "$size_info_file"
echo $SIZES >> "$size_info_file" echo $SIZES >> "$size_info_file"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment