diff options
Diffstat (limited to 'toolchain')
| -rwxr-xr-x | toolchain/wget-show-external-deps.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/toolchain/wget-show-external-deps.sh b/toolchain/wget-show-external-deps.sh deleted file mode 100755 index 20071c05f..000000000 --- a/toolchain/wget-show-external-deps.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -# -# replacement for wget (see BR2_WGET) which simply shows the file name to be -# downloaded. Used by the external-deps make target. - -exec basename ${!#}
\ No newline at end of file |