夹板:无法打开文件
Splint : Cannot open file
当尝试通过 makefile 使用 Splint 对我的项目进行 运行 分析时,我收到此错误消息:
Cannot open file: ../splint_evaluationa/my_project/source/*.c
Finished checking --- no code processed
这是我的 makefile:
SPLINT_FLAGS =-preproc \
-warnposixheaders \
SRCS=/home/user/splint_evaluationa/my_project/source/*.c
INC_FLAGS=-I/home/user/splint_evaluation/my_project/include
do_splint:
splint $(SPLINT_FLAGS) $(INC_FLAGS) $(SRCS)
你有一个额外的a
,试试这个:
SRCS=/home/user/splint_evaluation/my_project/source/*.c
当尝试通过 makefile 使用 Splint 对我的项目进行 运行 分析时,我收到此错误消息:
Cannot open file: ../splint_evaluationa/my_project/source/*.c
Finished checking --- no code processed
这是我的 makefile:
SPLINT_FLAGS =-preproc \
-warnposixheaders \
SRCS=/home/user/splint_evaluationa/my_project/source/*.c
INC_FLAGS=-I/home/user/splint_evaluation/my_project/include
do_splint:
splint $(SPLINT_FLAGS) $(INC_FLAGS) $(SRCS)
你有一个额外的a
,试试这个:
SRCS=/home/user/splint_evaluation/my_project/source/*.c