diff --git a/Makefile b/Makefile index e83a99de616aef3a29d1fdda8c6e8ccee1f13409..8ea18cfabc8ee2ee552292fa7fc2615a07b696c7 100644 --- a/Makefile +++ b/Makefile @@ -785,12 +785,11 @@ PLUGIN_DIR:=src/plugins/callgraph PLUGIN_CMO:= options journalize subgraph cg services uses register ifeq ($(HAS_DGRAPH),yes) PLUGIN_GUI_CMO:=cg_viewer -PLUGIN_DISTRIB_EXTERNAL:=cg_viewer.yes.ml PLUGIN_GENERATED:=$(PLUGIN_DIR)/cg_viewer.ml else PLUGIN_GUI_CMO:= -PLUGIN_DISTRIB_EXTERNAL:=cg_viewer.ml endif +PLUGIN_DISTRIB_EXTERNAL:=cg_viewer.yes.ml PLUGIN_CMI:= callgraph_api PLUGIN_INTERNAL_TEST:=yes PLUGIN_TESTS_DIRS:=callgraph