diff options
-rw-r--r-- | jjb/pre-fetch/include-prefetch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/pre-fetch/include-prefetch.sh b/jjb/pre-fetch/include-prefetch.sh index 2d58908c..48177cb3 100644 --- a/jjb/pre-fetch/include-prefetch.sh +++ b/jjb/pre-fetch/include-prefetch.sh @@ -3,7 +3,7 @@ #set -x set -e # -export BOARDS="qemux86-64 qemux86 raspberrypi3 intel-corei7-64 porter-nogfx" +export BOARDS="qemux86-64 qemux86 raspberrypi3 intel-corei7-64 porter-nogfx dra7xx-evm" # check: dra7xx-evm dragonboard-410c wandboard export FEATURES="agl-demo agl-appfw-smack agl-netboot agl-sota agl-devel" export FEATURES_nogfx="agl-appfw-smack agl-netboot agl-sota agl-devel" |