Platform deinitialization function. (#1451)

This commit is contained in:
Hubert Miś
2017-03-10 09:02:32 -08:00
committed by Jonathan Hui
parent cec8bf9e37
commit ebc23928f5
11 changed files with 159 additions and 17 deletions
+6
View File
@@ -47,6 +47,12 @@ extern "C" {
*/
void PlatformInit(int argc, char *argv[]);
/**
* This function performs all platform-specific deinitialization.
*
*/
void PlatformDeinit(void);
/**
* This function performs all platform-specific processing.
*