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 --git a/VEX/useful/Makefile-vex b/VEX/useful/Makefile-vex
index 637afc983086bcec3f5e9f8656b003912ab24235..31eab20dbf316a99d2cd6862a23df8794ff5e300 100644 (file)
--- 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: