From d4fa2fa1d657ced48dd00d64d44dcc2cd621ae01 Mon Sep 17 00:00:00 2001
From: Jordan Wiens <github@psifertex.com>
Date: Mon, 22 Jul 2019 17:49:03 -0400
Subject: allow launching without loading user plugins

---
 binaryninjaapi.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'binaryninjaapi.h')

diff --git a/binaryninjaapi.h b/binaryninjaapi.h
index 23020d5e..dacb5a84 100644
--- a/binaryninjaapi.h
+++ b/binaryninjaapi.h
@@ -614,6 +614,8 @@ namespace BinaryNinja
 	                      std::string& output, std::string& errors,
 	                      const std::vector<std::string>& includeDirs = std::vector<std::string>());
 
+	void DisablePlugins();
+	bool IsPluginsEnabled();
 	void InitCorePlugins();
 	void InitUserPlugins();
 	void InitRepoPlugins();
-- 
cgit v1.3.1