diff options
| author | Adam Jackson <ajax@freedesktop.org> | 2005-08-19 20:20:03 +0000 |
|---|---|---|
| committer | Adam Jackson <ajax@freedesktop.org> | 2005-08-19 20:20:03 +0000 |
| commit | 8fcd1e028750ec7669aa311dfd63d86767097feb (patch) | |
| tree | 94877d24574a9fc54d85579bcd5834a64ef436ce /configs/default | |
| parent | 2ae5645115124ecc97bf4a0ba9f5542cf2409845 (diff) | |
Convert libGL and DRI drivers to require libdrm.
libdrm can be had from:
http://people.freedesktop.org/~ajax/libdrm/
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 edc76182e5..45efc810ed 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ MESA_MAJOR=6 MESA_MINOR=3 MESA_TINY=2 -# external projects +# external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm # Compiler and flags |