Использование Coverity для простого HalloWorld

Question

Я бы хотел использовать Coverity на моей локальной виртуальной машине.Я создал простой HalloWorld и использовал Coverity Wizard для настройки анализа.Все отлично работаетПроблема в том, когда я хочу запустить Coverity из терминала.Он не "находит" мой make-файл.

У меня есть каталог halloworld с одним файлом .c и make-файлом.Я могу успешно собрать программу с make cmd.Для Coverity я запускаю команды в следующем порядке:

1. . / Cov-configure --gcc
2. . / Cov-build --dir "usr / halloworld /" make

RESPONSE: make: *** Не указаны цели и не найден make-файл.Стоп.

makefile:

all: test.exe

test.exe: test.o
     gcc -o test.exe test.o

test.o: test.c
     gcc -c test.c

clean:
     rm -rf test.o test.c

Я почти уверен, что это просто опечатка, пропущенный аргумент или что-то подобное.Заранее спасибо.

Answer 1

Я перепутал каталоги.cov-build следует запускать в каталоге с исходными файлами и каталогом, после --dir - это просто место для промежуточного каталога, который будет создан.Спасибо всем.