夹板:无法打开文件

时间:2015-04-28 15:01:53

标签: makefile splint

当尝试通过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)

1 个答案:

答案 0 :(得分:1)

你有一个额外的 executeUpdate('') ,请尝试改为:

    executeQuery('')