diff options
| -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 81fe94259d..28efd36286 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 "`basename $1`: $all_includes" > $dep +echo "$1: $all_includes" > $dep |