2010-11-26 19:47:45 +01:00
|
|
|
#! /bin/sh
|
2015-03-12 16:00:05 +01:00
|
|
|
# Writes a target device config file to stdout, from a default and from
|
|
|
|
# include directives therein. Also emits Makefile dependencies.
|
|
|
|
#
|
|
|
|
# Usage: make_device_config.sh SRC DEPFILE-NAME DEPFILE-TARGET > DEST
|
2010-11-26 19:47:45 +01:00
|
|
|
|
2015-03-12 16:00:05 +01:00
|
|
|
src=$1
|
|
|
|
dep=$2
|
|
|
|
target=$3
|
2016-05-16 15:23:33 +02:00
|
|
|
src_dir=$(dirname $src)
|
2010-11-26 19:47:45 +01:00
|
|
|
all_includes=
|
|
|
|
|
|
|
|
process_includes () {
|
|
|
|
cat $1 | grep '^include' | \
|
|
|
|
while read include file ; do
|
|
|
|
all_includes="$all_includes $src_dir/$file"
|
|
|
|
process_includes $src_dir/$file
|
|
|
|
done
|
|
|
|
}
|
|
|
|
|
|
|
|
f=$src
|
|
|
|
while [ -n "$f" ] ; do
|
2016-05-16 15:23:33 +02:00
|
|
|
f=$(cat $f | tr -d '\r' | awk '/^include / {printf "'$src_dir'/%s ", $2}')
|
2010-11-27 01:43:04 +01:00
|
|
|
[ $? = 0 ] || exit 1
|
2010-11-26 19:47:45 +01:00
|
|
|
all_includes="$all_includes $f"
|
|
|
|
done
|
2015-03-12 16:00:05 +01:00
|
|
|
process_includes $src
|
2010-11-26 19:47:45 +01:00
|
|
|
|
2015-03-12 16:00:05 +01:00
|
|
|
cat $src $all_includes | grep -v '^include'
|
|
|
|
echo "$target: $all_includes" > $dep
|