Dans un fichier makefile, il y a une commande du type:
-rm $(BINDIR)/dir_name
Que signifie le tiret devant la commande rm (remove) ?
Merci pour votre aide
Version imprimable
Dans un fichier makefile, il y a une commande du type:
-rm $(BINDIR)/dir_name
Que signifie le tiret devant la commande rm (remove) ?
Merci pour votre aide
bonjour,
man make:
Code:
1
2
3
4
5
6
7
8
9
10
11
12 Makefile command lines can have one or more of the following prefixes: a hyphen ( - ), an at sign ( @ ), or a plus sign ( + ). These shall modify the way in which make processes the command. When a command is written to standard output, the prefix shall not be included in the output. - If the command prefix contains a hyphen, or the -i option is present, or the special target .IGNORE has either the current target as a pre- requisite or has no prerequisites, any error found while executing the command shall be ignored. @ If the command prefix contains an at sign and the make utility command line -n option is not specified, or the -s option is present, or the special target .SILENT has either the current target as a prerequisite or has no prerequisites, the command shall not be written to standard output before it is executed. + If the command prefix contains a plus sign, this indicates a makefile command line that shall be executed even if -n, -q, or -t is speci- fied.
En gros, ça veut dire que si ça marche pô, c'est pô grave et tu peux continuer...