（这是我previous question的扩展名）。我在Windows CLI中使用Splint。
XC8嵌入式C编译器具有自定义类型bit。要让Splint解析，我可以传递CLI选项：
-Dbit=char
但我需要将bit替换为unsigned char。空间角色是个问题。我该如何修改上面的标志？
答案 0 :(得分：2)
它是shell，而不是splint，它在命令行参数中处理引号和转义。 shell最终将整个字符串-Dbit=unsigned char视为单个参数的任何结果都足够了，例如，在整个事物周围加上引号。
（编辑：实际上，在Windows的情况下，它可能在某些情况下是处理引号和转义的shell以外的东西，但是从来没有使用双引号围绕整个事情应该有效。）