Skip to content

Commit 7ef4796

Browse files
shanmukhkalasamudramYour Name
andauthored
fix: add missing --catalog flag to test-combined (#732) (#783)
Co-authored-by: Your Name <your@email.com>
1 parent 5a98cae commit 7ef4796

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,7 @@ reason-combined: $(combined-file) | $(ROBOT_FILE)
107107
java -jar $(ROBOT_FILE) reason --input $(combined-file) --catalog src/cco-modules/catalog-v001.xml --reasoner HermiT
108108

109109
test-combined: $(combined-file) | $(ROBOT_FILE)
110-
java -jar $(ROBOT_FILE) verify --input $(combined-file) --output-dir $(config.REPORTS_DIR) --queries $(QUERIES) --fail-on-violation false || true
110+
java -jar $(ROBOT_FILE) verify --input $(combined-file) --catalog src/cco-modules/catalog-v001.xml --output-dir $(config.REPORTS_DIR) --queries $(QUERIES) --fail-on-violation false || true
111111

112112
.PHONY: report-edit
113113
report-edit: TEST_INPUT = $(EDITOR_BUILD_FILE)

0 commit comments

Comments
 (0)