diff options
-rwxr-xr-x | build_tools/kernel-cp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/kernel-cp b/build_tools/kernel-cp index 644e1f4..bf31b25 100755 --- a/build_tools/kernel-cp +++ b/build_tools/kernel-cp @@ -26,7 +26,7 @@ if [ "$1" = 'download' ]; then fi wget -O "$check_patch" "$URL" - if [ `wc -c "$check_patch"` -lt 1000 ]; then + if [ `wc -c <"$check_patch"` -lt 1000 ]; then # already downloaded # FIXME: redirection fails on downloading and you get a # short HTML file as your "script". |