From d4fa2fa1d657ced48dd00d64d44dcc2cd621ae01 Mon Sep 17 00:00:00 2001 From: Jordan Wiens Date: Mon, 22 Jul 2019 17:49:03 -0400 Subject: allow launching without loading user plugins --- binaryninjacore.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'binaryninjacore.h') diff --git a/binaryninjacore.h b/binaryninjacore.h index d460166c..23e14106 100644 --- a/binaryninjacore.h +++ b/binaryninjacore.h @@ -2037,6 +2037,8 @@ extern "C" // Plugin initialization BINARYNINJACOREAPI void BNInitCorePlugins(void); + BINARYNINJACOREAPI void BNDisablePlugins(void); + BINARYNINJACOREAPI bool BNIsPluginsEnabled(void); BINARYNINJACOREAPI void BNInitUserPlugins(void); BINARYNINJACOREAPI void BNInitRepoPlugins(void); -- cgit v1.3.1