Skip to content

Commit

Permalink
Restore the clean target that broke half the Everest projects
Browse files Browse the repository at this point in the history
  • Loading branch information
@msprotz
msprotz committed Sep 21, 2017
1 parent 21ced91 commit 2406892
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions ulib/ml/Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,5 @@
all:
$(MAKE) -C .. install-fstarlib

clean:
$(MAKE) -C .. clean

1 comment on commit 2406892

@cpitclaudel
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:/ Sorry!

Please sign in to comment.