lint -flagsrc= BUG

Bonjour,

Je veux tester lint sur des sources, mais j'ai un problème en faisant le MakeFile :
je souhaite récupérer les chemins d'inclusions des headers via un fichier. J'utilise donc l'option :

Code:

---

-flagsrc=<f> Accept command options from file <f>

---

Mais je ne sais pas pourquoi j'obtiens le message suivant :

Code:

---

1 2 3

Command Line: Unrecognized option: -flagsrc=./Debug/temp_cflags_file A flag is not recognized or used in an incorrect way (Use -badflag to inhibit warning)

---

Quelqu'un pourrait me dire pourquoi ça ne marche pas ? j'ai essayé de mettre le chemin complet de fichier, de mettre des \ et des / ...

j'en peu plus....:help:

J'ai trouvé :mur:, je ne sais pas pourquoi mais en exécutant lint blabla c'est splint qui est exécuté et j'obtiens un message d'erreur de lint...