diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/default | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configs/default b/configs/default index 6dcfa7bb37c..70014114a6e 100644 --- a/configs/default +++ b/configs/default @@ -11,7 +11,8 @@ MESA_MINOR=3 MESA_TINY=0 # external projects -DRM_SOURCE_PATH=$(TOP)/../drm +#DRM_SOURCE_PATH=$(TOP)/../drm +DRM_SOURCE_PATH=/home/projects/DRI-freedesktop/drm # Compiler and flags CC = cc @@ -26,6 +27,10 @@ MKDEP = makedepend MKDEP_OPTIONS = -fdepend MAKE = make +# Python and flags (generally only needed by the developers) +PYTHON2 = python +PYTHON_FLAGS = -t -O -O + # Library names (base name) GL_LIB = GL GLU_LIB = GLU |