Detect missing config includes

Terminate make_device_config.sh if the awk command fails.
Typically this means a missing file.

Signed-off-by: Paul Brook <paul@codesourcery.com>

diff --git a/make_device_config.sh b/make_device_config.sh
index 59f267b5efc754765623d045489889bdded857d1..8abadfef7cbf91814e98ee1e871915bc1e445e3f 100644 (file)
--- a/make_device_config.sh
+++ b/make_device_config.sh
@@ -18,7 +18,8 @@ process_includes () {
 
 f=$src
 while [ -n "$f" ] ; do
-  f=`awk '/^include / {print "'$src_dir'/" $2}' $f`
+  f=`awk '/^include / {ORS=" " ; print "'$src_dir'/" $2}' $f`
+  [ $? = 0 ] || exit 1
   all_includes="$all_includes $f"
 done
 process_includes $src > $dest