* "H. Peter Anvin" <hpa at zytor.com>: | >> not knowning why 'make' is expanded into 'make -r all-local' | >> on the computersystem of the original poster | > | > Probably an artifact of gzpLinux | > | "make -r all-local" is a normal subpart of the syslinux make. $ make --version GNU Make 3.81