diff options
author | Blue Swirl <blauwirbel@gmail.com> | 2011-01-20 20:54:21 +0000 |
---|---|---|
committer | Blue Swirl <blauwirbel@gmail.com> | 2011-01-20 20:54:21 +0000 |
commit | 4c3b5a4891c44ebbc23d80f95e5b66e2ec66b8b1 (patch) | |
tree | 6333f8e376ca8de657b8a5f4fdc76f937214bb65 /make_device_config.sh | |
parent | 8e5977e5f588b2d4b74831d11860191f815b4c5b (diff) |
Add scripts directory
Move build and user scripts into scripts directory.
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Diffstat (limited to 'make_device_config.sh')
-rw-r--r-- | make_device_config.sh | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/make_device_config.sh b/make_device_config.sh deleted file mode 100644 index 5d14885dfc..0000000000 --- a/make_device_config.sh +++ /dev/null @@ -1,28 +0,0 @@ -#! /bin/sh -# Construct a target device config file from a default, pulling in any -# files from include directives. - -dest=$1.tmp -dep=$1.d -src=$2 -src_dir=`dirname $src` -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 - f=`tr -d '\r' < $f | awk '/^include / {printf "'$src_dir'/%s", $2}'` - [ $? = 0 ] || exit 1 - all_includes="$all_includes $f" -done -process_includes $src > $dest - -cat $src $all_includes | grep -v '^include' > $dest -echo "$1: $all_includes" > $dep |