ObjFW  Diff

Differences From Artifact [65102b7290]:

To Artifact [0ce2c00df2]:


158
159
160
161
162
163
164

165
166
167
168
169
170
171
	exit(0);
}

+ (void)terminateWithStatus: (int)status
{
#ifdef _PSP
	sceKernelExitGame();

#else
	exit(status);
#endif
}

- init
{







>







158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
	exit(0);
}

+ (void)terminateWithStatus: (int)status
{
#ifdef _PSP
	sceKernelExitGame();
	abort();	/* sceKernelExitGame() is not marked noreturn */
#else
	exit(status);
#endif
}

- init
{