diff options
| -rw-r--r-- | validation/prototype.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/validation/prototype.c b/validation/prototype.c new file mode 100644 index 00000000..481cc93e --- /dev/null +++ b/validation/prototype.c @@ -0,0 +1,6 @@ +static int prototype(void); + +/* + * check-name: Compile skip function prototype + * check-command: ./sparsec -c $file -o tmp.o + */ |