[infer] Fix tracebugs test Makefile

Summary:
This diff gives an order on running `test1`, `test2`, and `test3`.  If they run parallel, they may
have a data race on writing `infer-out/.infer_runstate.json`.

Another minor fix is the object file path to remove.

Reviewed By: jvillard

Differential Revision: D21995671

fbshipit-source-id: eb9950cae
master
Sungkeun Cho 5 years ago committed by Facebook GitHub Bot
parent 5de191a50d
commit e86ea5ca7f

@ -8,7 +8,7 @@ TESTS_DIR = ../..
include $(TESTS_DIR)/base.make
SOURCES = ../codetoanalyze/hello.c
OBJECTS = $(SOURCES:.c=.o)
OBJECTS = hello.o
default: print
@ -36,7 +36,11 @@ test3: infer-out/report.json
.PHONY: print
print: test1 test2 test3
print:
# the tests cannot be run in parallel safely, run them sequentially
$(MAKE) test1
$(MAKE) test2
$(MAKE) test3
.PHONY: test
test: print

Loading…
Cancel
Save