diff options
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/configs/default b/configs/default index 23d7aedfbf5..e805925701a 100644 --- a/configs/default +++ b/configs/default @@ -10,7 +10,7 @@ CONFIG_NAME = default # Version info MESA_MAJOR=6 MESA_MINOR=5 -MESA_TINY=1 +MESA_TINY=2 # external projects. This should be useless now that we use libdrm. DRM_SOURCE_PATH=$(TOP)/../drm @@ -27,8 +27,7 @@ MKLIB_OPTIONS = MKDEP = makedepend MKDEP_OPTIONS = -fdepend MAKE = make -INSTALL = install -COPY_LIBS = cp -f -d +INSTALL = $(TOP)/bin/minstall # Python and flags (generally only needed by the developers) PYTHON2 = python |