diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-29 00:09:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-29 00:09:27 +0200 |
commit | a91d12ab945222b0fc89d4634e3e781ba8941f33 (patch) | |
tree | f73e9053bbe0a5a3cd6587e14fb1a3f07bc19c71 /main/main.h | |
parent | 9a8a0e20e5b73b6536c92b7b68e827e4f6d18f48 (diff) | |
parent | 2a5ee5dec93b768f6caeb109be2a052ca610e747 (diff) |
Merge pull request #10531 from RandomShaper/remove-old-android-setting
Sanitize Android debug
Diffstat (limited to 'main/main.h')
-rw-r--r-- | main/main.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/main/main.h b/main/main.h index f8db0225bf..2c1d42a163 100644 --- a/main/main.h +++ b/main/main.h @@ -34,6 +34,7 @@ @author Juan Linietsky <reduzio@gmail.com> */ +#include "core/os/thread.h" #include "error_list.h" #include "typedefs.h" @@ -49,7 +50,7 @@ class Main { public: static Error setup(const char *execpath, int argc, char *argv[], bool p_second_phase = true); - static Error setup2(); + static Error setup2(Thread::ID p_main_tid_override = 0); static bool start(); static bool iteration(); static void cleanup(); |