make: Fix jobshop_sat run

note: the parser is file extension dependent...
This commit is contained in:
Corentin Le Molgat
2022-06-07 18:01:13 +02:00
parent 9559162a6e
commit 383952f51c
2 changed files with 1 additions and 1 deletions

View File

@@ -497,7 +497,7 @@ test_cc_cpp: \
ARGS="--size=5"
$(MAKE) run \
SOURCE=examples/cpp/jobshop_sat.cc \
ARGS="--input=$(OR_ROOT_FULL)/examples/cpp/jobshop.txt"
ARGS="--input=$(OR_ROOT_FULL)/examples/cpp/jobshop"
$(MAKE) run \
SOURCE=examples/cpp/mps_driver.cc \
ARGS="--input=$(OR_ROOT_FULL)/examples/cpp/test.mps"