Skip to content

Commit

Permalink
Make sure we re-run failing tests
Browse files Browse the repository at this point in the history
  • Loading branch information
virgil-serbanuta committed Aug 9, 2024
1 parent 1a47784 commit 81108d1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,4 @@ $(RUST_TIMESTAMP): $(SEMANTICS_FILES)

$(SYNTAX_OUTPUTS_DIR)/%.rs-parsed: $(SYNTAX_INPUT_DIR)/%.rs $(RUST_TIMESTAMP)
mkdir -p $(SYNTAX_OUTPUTS_DIR)
kast --definition $(RUST_KOMPILED) $< --sort Crate > $@
kast --definition $(RUST_KOMPILED) $< --sort Crate > $@ || (rm $@ && false)

0 comments on commit 81108d1

Please sign in to comment.