2014-02-24 23 views
1

(这是我的previous question的扩展)。我在Windows CLI中使用Splint。Splint:用`unsigned char`替代非标准类型的'bit`

XC8嵌入式C编译器有一个自定义类型bit。不过,我需要它unsigned char更换bit

-Dbit=char 

:要获得夹板来分析,我可以传递给它的命令行选项。空格字符是一个问题。我如何修改上面的标志?

+0

围绕与双引号的论点应该工作。你有任何其他工具像* make *或批处理文件吗? – nwellnhof

回答

2

它是shell,而不是splint,它处理命令行参数中的引号和转义。任何结果,如壳最终将整个字符串-Dbit=unsigned char作为单个参数处理就足够了,例如,将引号放在整个事物中。

(编辑:实际上,在Windows的情况下,它可能会在某些情况下比处理报价和逃逸,而是围绕整个事情从未在少滑步双引号应该工作的外壳以外的东西)

+0

谢谢。从你的回答中,我意识到CLI上的标志和配置文件(splint.rc)中的同一标志是有区别的 - 它们需要以不同的格式进行格式化。 – Jodes

相关问题