Re: Sample code for L4Ka now available

[Jeff Sheinberg]

Farid Hajji writes:
[...]
 > That's true. I also had to change every call to make in the Makefile with
 > calls to gmake (I'm using FreeBSD which comes with two make variants,
 > gmake being GNU make). It would be nice to parameterize this in a
                                      ^^^^^^^^^^^^^^^^^^^^
 > MAKE environment variable if possible (but that's not critical at all).
   ^^^^

Well, using $(MAKE) with either pmake (ie, BSD make) or make (ie,
GNU make) both set and use the MAKE variable correctly, on my
Debian GNU/Linux system,

    117 jsroot ~ # cat /tmp/pmake
    aa:
            echo "$(MAKE)"
    118 jsroot ~ # pmake -f /tmp/pmake
    echo "pmake"
    pmake
    119 jsroot ~ # pmake -f /tmp/pmake -n
    echo "pmake"
    120 jsroot ~ # make -f /tmp/pmake -n
    echo "make"
    make

so the parameterization already exists.  Strange that you are
having problems with this.  Are you sure that recursive make is
always invoked as `$(MAKE)'?

-- 
Jeff Sheinberg  <address@hidden>