make world

From: Michael Beckmann <petzi(at)zit.th-darmstadt.de>
Date: Sun, 31 Mar 1996 13:27:49 +0200



Bei make world gibt es diese Option -DCLOBBER . Ich frage mich aber, wie


herum ich das schreiben muß:



"make world -DCLOBBER" oder: "make -DCLOBBER world", oder ist das egal ?



Gruß,



Michael


Received on Sun 31 Mar 1996 - 13:36:10 CEST













search this site