diff options
| -rw-r--r-- | configs/default | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/default b/configs/default index e805925701a..72176f17a7f 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=6 MESA_MINOR=5 -MESA_TINY=2 +MESA_TINY=3 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |