14 May
2003
14 May
'03
19:14
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, 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 :-) CU, Th. -- Thomas Hertweck, Dipl.-Geophys., GPI Universitaet Karlsruhe === First they ignore you, then they laugh at you, then === === they fight you, then you win. (M. Ghandi) ===