diff options
| author | Brian Paul <brian.paul@tungstengraphics.com> | 2005-07-01 01:27:00 +0000 |
|---|---|---|
| committer | Brian Paul <brian.paul@tungstengraphics.com> | 2005-07-01 01:27:00 +0000 |
| commit | f4f1c2959767a65cd592a978e238a039c15b9635 (patch) | |
| tree | 895fafc878afa2b0f980b914df49c28578f50327 /configs/default | |
| parent | bb5c84fcbc22b4fef28cf4589d6410eb3c35a496 (diff) | |
Move the PYTHON2 and PYTHON_FLAGS assignments to configs/current, and
include $(TOP)/configs/current in glapi/Makefile so those vars can be
easily overridden by any system config, if needed.
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configs/default b/configs/default index 6dcfa7bb37..70014114a6 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 |