Skip to content

Commit a5523d8

Browse files
protzprotz
committed
try to fix CI
1 parent cd04835 commit a5523d8

4 files changed

Lines changed: 9 additions & 9 deletions

File tree

‎kremlib/Makefile‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ clean-c:
5454

5555
ifndef NODEPEND
5656
ifndef MAKE_RESTARTS
57-
.depend: .FORCE
57+
.depend: .FORCE obj
5858
$(FSTAR) $(OTHERFLAGS) --dep full $(ROOTS) > $@
5959

6060
.PHONY: .FORCE

‎kremlib/hints/C.String.fsti.hints‎

Lines changed: 5 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎kremlib/hints/C.fst.hints‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎kremlib/hints/TestLib.fsti.hints‎

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)