16 May
2003
16 May
'03
09:37
Am Mit, 2003-05-14 um 21.14 schrieb Thomas Hertweck:
Ralf Corsepius schrieb:
Am Mit, 2003-05-14 um 19.00 schrieb Marcus Habermehl:
[...] oder der Zeile "SHELL /bin/sh"? Hmm? Wir reden hier von einem Makefile, nicht von einem Shell-Script.
Die Zeile kann es (im Prinzip) auch in Makefiles geben,
"SHELL /bin/sh" macht weder in Shell-Scripten noch in Makefiles Sinn
allerdings sollte sie richtigerweise
SHELL = /bin/sh
heissen. Sie gibt an, mit welcher Shell und Shell-Syntax die Befehle im Makefile interpretiert werden.
Aber das weisst Du ja sicher alles besser als ich, Ralf :-) ;)
Ralf