save_size.sh 303 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/bash

set -e

if ! [ -n "$size_info_file" ]; then
    exit 0
fi

# 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"
14
echo -n "$DEFCONFIG_NAME ">> "$size_info_file"
15
echo $SIZES >> "$size_info_file"