diff options
Diffstat (limited to 'test/tet/patches/defines.linux.patch')
| -rw-r--r-- | test/tet/patches/defines.linux.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/tet/patches/defines.linux.patch b/test/tet/patches/defines.linux.patch new file mode 100644 index 000000000000..51eea902bb73 --- /dev/null +++ b/test/tet/patches/defines.linux.patch @@ -0,0 +1,13 @@ +: $Id: defines.linux.patch 2204 2011-11-24 05:23:42Z jkoshy $ + +--- tet3.8/src/defines/linux.mk-- 2011-11-18 10:04:28.374703560 +0530 ++++ tet3.8/src/defines/linux.mk 2011-11-18 10:04:32.318703781 +0530 +@@ -71,7 +71,7 @@ + # ************************************************************************ + + # make utilities - these don't usually change +-MAKE = make ++MAKE ?= make + SHELL = /bin/sh + + |