linux/linux-ext-xenomai: allow URL for the ADEOS/IPIPE patch
authorSébastien Szymanski <sebastien.szymanski@armadeus.com>
Fri, 17 May 2019 12:50:49 +0000 (14:50 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 20 May 2019 19:21:42 +0000 (21:21 +0200)
commit7aaedc775bce9bcb2e7545072a28e2a8232c087a
treebe890df999102dc2959c18ef73a1e50a0e7ea157
parent11ad081737e76df848cedbf24c77ec35cfbf31e9
linux/linux-ext-xenomai: allow URL for the ADEOS/IPIPE patch

With an URL Buildroot will be able to download the patch
automatically.

Signed-off-by: Sébastien Szymanski <sebastien.szymanski@armadeus.com>
[Thomas: don't strip file:// in the non-download case]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
linux/Config.ext.in
linux/linux-ext-xenomai.mk