wget-show-external-deps.sh 162 B

123456
  1. #!/bin/sh
  2. #
  3. # replacement for wget (see BR2_WGET) which simply shows the file name to be
  4. # downloaded. Used by the external-deps make target.
  5. exec basename ${!#}