gitlab-ci: just build all the tools
authorEric Engestrom <eric.engestrom@intel.com>
Thu, 1 Aug 2019 22:32:34 +0000 (23:32 +0100)
committerEric Engestrom <eric.engestrom@intel.com>
Fri, 2 Aug 2019 15:41:19 +0000 (16:41 +0100)
commit6125c93e00b3188ea1a34db26475d877f49432a9
treea50b268fe1632b483cc5463e1443ba886c702ec0
parenta86eccfb78092493b3999849db62613838951756
gitlab-ci: just build all the tools

This line was mistakenly added while there is already a `-D tools=all`
a few lines below.

Fixes: f60defa72d5d20d99e3a ("gitlab-ci: Add a shader-db run using v3d on drm-shim.")
Signed-off-by: Eric Engestrom <eric.engestrom@intel.com>
Reviewed-by: Eric Anholt <eric@anholt.net>
.gitlab-ci.yml