12
Wie kann ich dafür sorgen, dass rm keinen Fehler ausgibt, wenn eine Datei nicht existiert?
Ich schreibe ein Makefile, das am Ende der Kompilierung einige nutzlose Dateien aufräumt. Wenn bereits ein Ziel erstellt wurde, wird dieses Ziel übersprungen, und die nutzlose Datei ist möglicherweise nicht vorhanden. Wenn ich das mache: rm lexer.ml interpparse.ml interpparse.mli Möglicherweise erhalte ich eine Fehlermeldung, weil eine der Dateien nicht vorhanden …