MAKEALL 1.58 KB
Newer Older
1 2
#!/bin/sh
# A trivial script to build with all known configurations
3
# (please add a file in configs/*_defconfig to test your special case)
4 5

T=$(mktemp /tmp/wrpc-config.XXXXXX)
6 7 8 9
TW=$(mktemp /tmp/save-dotconfig-wrpc.XXXXXX)
TP=$(mktemp /tmp/save-dotconfig-ppsi.XXXXXX)
test -f .config && cp .config $TW
test -f ppsi/.config && cp ppsi/.config $TP
10

11
configs=$(cd configs; echo *_defconfig)
12 13 14 15
if [ $# -ne 0 ]; then
    configs="$*"
fi

16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
if ! [ -n "$size_db_file" ]; then
    size_db_file=size_db.txt
    echo "No file with size DB specified! Using default ($size_db_file)"
fi

if ! [ -n "$size_info_file" ]; then
    size_info_file=size_info.txt
    echo "No file with size info specified! Using default ($size_info_file)"
fi

export size_db_file
export size_info_file

rm -rf $size_info_file

31
# remove files from the previous compilations first
32
make distclean -s
33

34 35
for c in $configs; do
    echo "##### Building with '$c'"
36 37 38 39 40 41
    if ! make -s clean; then
	echo "Error while cleaning (see $T)"
	exit 1
    fi
    rm -f ppsi/.config

42 43 44 45
    if ! make $c 2>&1 >> $T; then
	echo "Error in configuration (see $T)"
	exit 1
    fi
46 47
    DEFCONFIG_NAME=$c
    export DEFCONFIG_NAME
48 49
    # Remove "# configuration written to .config" from output
    make -s | grep -v '^#'
50
    make makeall_copy
51
done
52 53 54 55 56 57 58
make -s clean

# Recover local configs
cp $TW .config; rm $TW
cp $TP ppsi/.config; rm $TP

rm $T
59 60 61 62 63 64 65 66

./compare_size.sh
GIT_HASH=`git log --format=format:%H -1`
if [ -f "$size_db_file" ]; then
    cat "$size_db_file" | grep -v $GIT_HASH > "$size_db_file".tmp
    mv "$size_db_file".tmp "$size_db_file"
fi
cat "$size_info_file" >> "$size_db_file"