Moin,
Eine Datei namens 'make' gibt es übrigens nicht.
Doch gibt es. Allerdings unter /usr/bin. Das ist ein systemweit benutztes Tool welche die Informationen darüber, was es tun soll aus einer Datei namens "Makefile" (ggbf. in leicht veränderten Schreibweisen) im aktuellen Verzeichnis holt.
--
Henryk Plötz
Grüße von der Ostsee
Henryk Plötz
Grüße von der Ostsee