diff options
author | Yann E. MORIN <yann.morin.1998@free.fr> | 2016-10-14 16:39:16 +0200 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2016-10-16 13:01:02 +0200 |
commit | f834b0ef2146d3cbf96b126767b2699e0c7ee823 (patch) | |
tree | 07e4d1ab98efb305c3dc1ab734a44b4d1cd0ee17 /support | |
parent | 6bd19ccf0ddeb4a0d6987589bc73cc019e7798df (diff) |
core/br2-external: validate even more
A br2-external tree must provide external.mk and Config.in.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Cc: Arnout Vandecappelle <arnout@mind.be>
Cc: Romain Naour <romain.naour@openwide.fr>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'support')
-rwxr-xr-x | support/scripts/br2-external | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/scripts/br2-external b/support/scripts/br2-external index b2bff644b..1a0c74346 100755 --- a/support/scripts/br2-external +++ b/support/scripts/br2-external @@ -67,6 +67,12 @@ do_validate() { if [ ! -r "${br2_ext}" -o ! -x "${br2_ext}" ]; then error "'%s': permission denied\n" "${br2_ext}" fi + if [ ! -f "${br2_ext}/external.mk" ]; then + error "'%s/external.mk': no such file or directory\n" "${br2_ext}" + fi + if [ ! -f "${br2_ext}/Config.in" ]; then + error "'%s/Config.in': no such file or directory\n" "${br2_ext}" + fi BR2_EXT="$(cd "${br2_ext}"; pwd -P )" } |