diff options
Diffstat (limited to 'scripts/uboot-script-gen')
| -rw-r--r-- | scripts/uboot-script-gen | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/uboot-script-gen b/scripts/uboot-script-gen index 9e81ad8..3e167b1 100644 --- a/scripts/uboot-script-gen +++ b/scripts/uboot-script-gen @@ -105,7 +105,7 @@ function device_tree_editing() function add_size() { local filename=$1 - local size=`stat --printf="%s" $filename` + local size=`stat -L --printf="%s" $filename` memaddr=$(( $memaddr + $size + $offset - 1)) memaddr=$(( $memaddr & ~($offset - 1) )) memaddr=`printf "0x%X\n" $memaddr` @@ -138,11 +138,11 @@ function check_file_type() type="executable\|data" fi - file $filename | grep "$type" &> /dev/null + file -L $filename | grep "$type" &> /dev/null if test $? != 0 then echo Wrong file type "$filename". It should be "$type", exiting. - clean_up_and_err_out + cleanup_and_return_err fi } @@ -157,7 +157,7 @@ function check_compressed_file_type() cleanup_and_return_err fi - file $filename | grep "gzip compressed data" &> /dev/null + file -L $filename | grep "gzip compressed data" &> /dev/null if test $? == 0 then local tmp=`mktemp` |