diff options
Diffstat (limited to 'scripts/make_device_config.sh')
| -rw-r--r-- | scripts/make_device_config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_device_config.sh b/scripts/make_device_config.sh index 5d14885dfc..0778fe2a42 100644 --- a/scripts/make_device_config.sh +++ b/scripts/make_device_config.sh @@ -25,4 +25,4 @@ done process_includes $src > $dest cat $src $all_includes | grep -v '^include' > $dest -echo "$1: $all_includes" > $dep +echo "`basename $1`: $all_includes" > $dep |