diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/default | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/default b/configs/default index cbdb3b2ada8..d65847851ab 100644 --- a/configs/default +++ b/configs/default @@ -11,6 +11,7 @@ CONFIG_NAME = default MESA_MAJOR=7 MESA_MINOR=1 MESA_TINY=0 +MESA_VERSION = $(MESA_MAJOR).$(MESA_MINOR).$(MESA_TINY) # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |