diff options
Diffstat (limited to 'make_device_config.sh')
| -rw-r--r-- | make_device_config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_device_config.sh b/make_device_config.sh index 596fc5bf69..5d14885dfc 100644 --- a/make_device_config.sh +++ b/make_device_config.sh @@ -18,7 +18,7 @@ process_includes () { f=$src while [ -n "$f" ] ; do - f=`tr -d '\r' < $f | awk '/^include / {ORS=" "; print "'$src_dir'/" $2}'` + f=`tr -d '\r' < $f | awk '/^include / {printf "'$src_dir'/%s", $2}'` [ $? = 0 ] || exit 1 all_includes="$all_includes $f" done |