save_size.sh

#!/bin/bash

set -e

if ! [ -n "$size_info_file" ]; then
    echo "No file with size info specified!"
    exit 0
fi

echo $1 $2 $CONFIG_NAME
# separate calling commands and filling DB
SIZES=`$1 $2 | grep $2`
GIT_HASH=`git log --format=format:%H -1`

echo -n "$GIT_HASH " >> "$size_info_file"
echo -n "$CONFIG_NAME ">> "$size_info_file"
echo $SIZES >> "$size_info_file"