8ebd11eab9
- wc adds a number of leading spaces which broke cut - sed can't replace spaces with new lines, so use tr for that. - make sure directories are created if they're not there. Change-Id: Ia0db059683abe3d97b0ab6feaece660a1f4e5079 Signed-off-by: Stefan Reinauer <reinauer@google.com> Reviewed-on: http://review.coreboot.org/774 Reviewed-by: Ronald G. Minnich <rminnich@gmail.com> Tested-by: build bot (Jenkins)
64 lines
2.1 KiB
Bash
Executable File
64 lines
2.1 KiB
Bash
Executable File
#!/bin/sh
|
|
# This file is part of the coreboot project.
|
|
#
|
|
# Copyright (C) 2011 Patrick Georgi <patrick@georgi-clan.de>
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; version 2 of the License.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program; if not, write to the Free Software
|
|
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
|
#
|
|
# DESCR: Check that build directories can be chosen freely
|
|
|
|
# $1: command to test for GNU make
|
|
search_make() {
|
|
if [ -n "`$1 --version 2>&1 |grep GNU`" ]; then MAKE=$1; fi
|
|
}
|
|
|
|
# if $1 and $2 differ, exit with failure
|
|
compare_output() {
|
|
if ! [ "$1" = "$2" ]; then
|
|
echo \'$1\' should be \'$2\'
|
|
exit 1
|
|
fi
|
|
}
|
|
|
|
# $1: object directory
|
|
run_printall() {
|
|
$MAKE CONFIG_CCACHE=n CONFIG_SCANBUILD_ENABLE=n NOMKDIR=1 DOTCONFIG=$TMPCONFIG obj=$1 printall |sed -e "s,^ *,," -e "s,^ramstage-objs:=,," -e "s,mainboard/[^/]*/[^/]*/,.../," |tr " " "\n"|grep "/static.*\.[co]" |sort |tr '\012\015' ' ' |sed -e "s, *, ,g" -e "s, *$,,"
|
|
}
|
|
|
|
# find GNU make
|
|
search_make make
|
|
search_make gmake
|
|
search_make gnumake
|
|
|
|
if [ "$MAKE" = "" ]; then
|
|
echo Could not identify GNU make
|
|
exit 1
|
|
fi
|
|
|
|
# prepare a config to use
|
|
TMPCONFIG=`mktemp .tmpconfig.XXXXXX`
|
|
rm -f $TMPCONFIG
|
|
$MAKE DOTCONFIG=$TMPCONFIG allyesconfig >/dev/null
|
|
|
|
# look up parent directory
|
|
PARENTDIR=`dirname $PWD`
|
|
|
|
compare_output "`run_printall build`" "build/.../static.c build/.../static.ramstage.o"
|
|
compare_output "`run_printall ../obj`" "$PARENTDIR/obj/.../static.c $PARENTDIR/obj/.../static.ramstage.o"
|
|
compare_output "`run_printall /tmp`" "/tmp/.../static.c /tmp/.../static.ramstage.o"
|
|
compare_output "`run_printall /../tmp`" "/tmp/.../static.c /tmp/.../static.ramstage.o"
|
|
|
|
rm -f $TMPCONFIG
|
|
|