diff options
| author | Brian Paul <[email protected]> | 2006-07-20 04:34:36 +0000 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2006-07-20 04:34:36 +0000 |
| commit | 459db7bd72131e63ed7687956819c4d0520972dd (patch) | |
| tree | 5c97ca81f6bb2a1b199005b2ac9f6c530dc981c0 /configs/default | |
| parent | a623e008c651235769c7c50fc55f6e3782e4aaca (diff) | |
bump MESA_TINY to 1
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/default b/configs/default index 3eaa74aa078..817e1df0e28 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=6 MESA_MINOR=5 -MESA_TINY=0 +MESA_TINY=1 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm |