Fix up 'make clean', TODO list
This commit is contained in:
parent
9eda779f6e
commit
ff7c02d2dd
3 changed files with 5 additions and 5 deletions
|
@ -14,8 +14,7 @@ deps:
|
|||
$(REBAR_BIN) get-deps
|
||||
|
||||
clean:
|
||||
$(REBAR_BIN) clean
|
||||
-for dir in deps/*; do (cd $$dir ; $(REBAR_BIN) clean); done
|
||||
$(REBAR_BIN) -r clean
|
||||
|
||||
test: deps compile eunit
|
||||
|
||||
|
|
|
@ -14,9 +14,7 @@ deps:
|
|||
$(REBAR_BIN) get-deps
|
||||
|
||||
clean:
|
||||
$(REBAR_BIN) clean
|
||||
-for dir in deps/*; do (cd $$dir ; $(REBAR_BIN) clean); done
|
||||
|
||||
$(REBAR_BIN) -r clean
|
||||
|
||||
test: deps compile eunit
|
||||
|
||||
|
|
|
@ -67,6 +67,9 @@ research papers.
|
|||
|
||||
## TODO list
|
||||
|
||||
__ The src/corfu* files in this sub-repo differ from the original
|
||||
prototype source files in the ../corfu sub-repo, sorry!
|
||||
|
||||
__ The current checkpoint implementation is fundamentally broken and
|
||||
needs a rewrite, or else.
|
||||
This issue is not mentioned at all in the Tango paper.
|
||||
|
|
Loading…
Reference in a new issue