[Valgrind-developers] [valgrind] Fix VEX/useful/Makefile-vex

[Paul F. <pa...@so...>]

https://sourceware.org/cgit/valgrind/commit/?id=71c4e60d7576795942f65234bfcbaa484d21ef08

commit 71c4e60d7576795942f65234bfcbaa484d21ef08
Author: Paul Floyd <pj...@wa...>
Date:   Tue Jul 8 08:14:56 2025 +0200

    Fix VEX/useful/Makefile-vex
    
    This uses hard coded 'make' which may mean Solaris make or
    BSD make ratheer than the initial invokation (e.g., gmake or some
    other make that is not first inthe PATH). Use ${MAKE} instead
    so that the same make is used for the second invokation.

Diff:
---
 VEX/useful/Makefile-vex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VEX/useful/Makefile-vex b/VEX/useful/Makefile-vex
index 637afc9830..31eab20dbf 100644
--- a/VEX/useful/Makefile-vex
+++ b/VEX/useful/Makefile-vex
@@ -1,7 +1,7 @@
 # Crude makefile to build the "vex" executable from test_main.c
 
 vex: test_main.c test_main.h ../pub/*.h ../priv/*.c ../priv/*.h
-	(cd ..; make -f Makefile-gcc)
+	(cd ..; ${MAKE} -f Makefile-gcc)
 	cc -I../pub -o vex test_main.c ../libvex.a
 
 clean: