diff options
author | Stefano Stabellini | 2019-10-24 10:39:31 -0700 |
---|---|---|
committer | Stefano Stabellini | 2019-10-24 10:39:31 -0700 |
commit | 76765e109ec80e53d67fea5400e36f6464562046 (patch) | |
tree | b39b4cd8e41b713af9c3c201ecff93ca005bcb39 /scripts/uboot-script-gen | |
parent | 06d92ee94ba7fa805b83491f7e408ad5b1b46ad4 (diff) |
Fix typo in error message
Signed-off-by: Stefano Stabellini <stefano.stabellini@xilinx.com>
Diffstat (limited to 'scripts/uboot-script-gen')
-rw-r--r-- | scripts/uboot-script-gen | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/uboot-script-gen b/scripts/uboot-script-gen index a7d1a2f..2977066 100644 --- a/scripts/uboot-script-gen +++ b/scripts/uboot-script-gen @@ -112,7 +112,7 @@ function check_file_type() file $filename | grep "$type" &> /dev/null if test $? != 0 then - echo Wrong file type "$filename". It shold be "$type". + echo Wrong file type "$filename". It should be "$type". fi } |