(这是我的previous question的扩展)。我在Windows CLI中使用Splint。Splint:用`unsigned char`替代非标准类型的'bit`
XC8嵌入式C编译器有一个自定义类型bit
。不过,我需要它unsigned char
更换bit
-Dbit=char
:要获得夹板来分析,我可以传递给它的命令行选项。空格字符是一个问题。我如何修改上面的标志?
(这是我的previous question的扩展)。我在Windows CLI中使用Splint。Splint:用`unsigned char`替代非标准类型的'bit`
XC8嵌入式C编译器有一个自定义类型bit
。不过,我需要它unsigned char
更换bit
-Dbit=char
:要获得夹板来分析,我可以传递给它的命令行选项。空格字符是一个问题。我如何修改上面的标志?
它是shell,而不是splint
,它处理命令行参数中的引号和转义。任何结果,如壳最终将整个字符串-Dbit=unsigned char
作为单个参数处理就足够了,例如,将引号放在整个事物中。
(编辑:实际上,在Windows的情况下,它可能会在某些情况下比处理报价和逃逸,而是围绕整个事情从未在少滑步双引号应该工作的外壳以外的东西)
谢谢。从你的回答中,我意识到CLI上的标志和配置文件(splint.rc)中的同一标志是有区别的 - 它们需要以不同的格式进行格式化。 – Jodes
围绕与双引号的论点应该工作。你有任何其他工具像* make *或批处理文件吗? – nwellnhof