Splint: заменить нестандартный тип `bit` на`unsigned char`

Question

Splint: заменить нестандартный тип `bit` на`unsigned char`

(Это продолжение моего предыдущего вопроса). Я использую Splint в Windows CLI.

Встроенный компилятор C XC8 имеет пользовательский тип bit, Чтобы проанализировать Splint, я могу передать ему параметр CLI:

-Dbit=char

Однако мне нужно это заменить bit с unsigned char, Космический символ является проблемой. Как я могу изменить вышеуказанный флаг?

1

c types splint

Источник

user708436 24 фев '14 в 12:40

1 ответ

Решение

Другие вопросы по тегам c types splint

user204883 24 фев '14 в 12:47 2014-02-24 12:47 · Accepted Answer · 2014-02-24 12:47

Это оболочка, а не splint, который обрабатывает кавычки и экранирует аргументы командной строки. Любой результат, когда оболочка заканчивается обработкой всей строки -Dbit=unsigned char достаточно одного аргумента, например, заключить в кавычки все это.

(правка: на самом деле, в случае с Windows это может быть что-то иное, чем оболочка, которая обрабатывает кавычки и экранирует, но, тем не менее, двойные кавычки вокруг всего должны работать.)