2014-02-24 29 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

相關問題