Skip to content
This repository
Browse code

[enhance] distrib: add opatop binary

  • Loading branch information...
commit 9f7565a5d5a4ee094d19f7467f203b34cf3b00b9 1 parent f37a024
Rudy Sicard OpaOnWindowsNow authored François-Régis Sinot committed

Showing 1 changed file with 1 addition and 1 deletion. Show diff stats Hide diff stats

  1. +1 1  Makefile
2  Makefile
@@ -60,7 +60,7 @@ opa-packages: $(MYOCAMLBUILD)
60 60 .PHONY: stdlib
61 61 stdlib: opa-packages
62 62
63   -DISTRIB_TOOLS = opa-bin opadoc opa-plugin-builder-bin opa-plugin-browser-bin bslServerLib.ml opa-db-server opa-db-tool opa-cloud
  63 +DISTRIB_TOOLS = opa-bin opadoc opa-plugin-builder-bin opa-plugin-browser-bin bslServerLib.ml opa-db-server opa-db-tool opa-cloud opatop
64 64
65 65 .PHONY: distrib
66 66 distrib: $(MYOCAMLBUILD)

0 comments on commit 9f7565a

Please sign in to comment.
Something went wrong with that request. Please try again.