Enhance mirror generation 33/18033/1
authorJan-Simon Möller <jsmoeller@linuxfoundation.org>
Fri, 16 Nov 2018 06:50:00 +0000 (07:50 +0100)
committerJan-Simon Möller <jsmoeller@linuxfoundation.org>
Fri, 16 Nov 2018 06:50:00 +0000 (07:50 +0100)
commitaca703038721dfd7d3705ba688d3e4f939ba09e9
tree0aebc14067bb7e4ace48605a0f7ab9872fc1f0a6
parent142b04edc10312cde4a8b4782e5c0e73848a54ab
Enhance mirror generation

Change-Id: If7daff9fe1ca06f17cd1b31e4e526d92ce443c06
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
jjb/pre-fetch/include-prefetch.sh