Skip to content

Commit

Permalink
tmp
Browse files Browse the repository at this point in the history
  • Loading branch information
@virgil-serbanuta
virgil-serbanuta committed Oct 22, 2024
1 parent 1d46b86 commit e8cc46b
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -496,7 +496,6 @@ $(UKM_WITH_CONTRACT_TESTING_OUTPUT_DIR)/%.run.executed.kore: \
cat "$(shell echo "$<" | sed 's/\.[^.]*.run$$//').rs" >> [email protected]
echo ">)>" >> [email protected]

LD_LIBRARY_PATH=$(shell pwd)/deps/ulm/kllvm/ \
krun \
[email protected] \
--parser $(CURDIR)/parsers/crates-ukm-testing-execution.sh \
Expand Down

0 comments on commit e8cc46b

Please sign in to comment.