Splint : Cannot open file

Question

When trying to run an analysis on my project with Splint via makefile I got this error message :

Cannot open file: ../splint_evaluationa/my_project/source/*.c

Finished checking --- no code processed

Here is my 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)

The trailing backslash on the `-warnposixheaders` line is incorrect. — Etan Reisner, Apr 28 '15 at 15:03

score 1 · Accepted Answer · answered Apr 28 '15 at 15:11

1

You have a extra a, try that instead:

SRCS=/home/user/splint_evaluation/my_project/source/*.c

answered Apr 28 '15 at 15:11

jmlemetayer

4,774
1
32
46

You're right I didn't notice this... I'm sorry it doesn't deserve to be published as an analysis problem... – Alma Apr 28 '15 at 15:29

Splint : Cannot open file

1 Answers1