diff options
| author | Dan Nicholson <[email protected]> | 2008-04-30 15:06:00 -0700 |
|---|---|---|
| committer | Dan Nicholson <[email protected]> | 2008-05-05 14:21:28 -0700 |
| commit | 00994ac08cb84937ca1e35b7a556d8924229bacb (patch) | |
| tree | f5d5f53953e25610826567a02b0a409e36fdbb81 /configs/default | |
| parent | 2ed0f7278e389ecc0cf568518799a9a8f33b1365 (diff) | |
autoconf: Scrape the version from configs/default
Added the make script version.mk to print the various version numbers
from configs/default. This is used to substitute the version in autoconf
rather than duplicating it in both places.
Diffstat (limited to 'configs/default')
| -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 |