Add option to redirect output to file #918

Can be useful for mobile ports.

PS: If this is not done already, remember to flush stdout and stderr on every line printed (or on a regular time basis). Otherwise, logs won't be saved if the game crashes, making troubleshooting much harder.

If you flush on every line printed, this requires some discipline on the developer side (don't spam printf() in production as this will decrease performance).

PS: If this is not done already, remember to flush `stdout` and `stderr` on every line printed (or on a regular time basis). Otherwise, logs won't be saved if the game crashes, making troubleshooting much harder. If you flush on every line printed, this requires some discipline on the developer side (don't spam `printf()` in production as this will decrease performance).

Diverting all logging calls to a function would be useful for ports.
This allows using the native android NDK logging facility: https://developer.android.com/ndk/reference/group/logging

Diverting all logging calls to a function would be useful for ports. This allows using the native android NDK logging facility: https://developer.android.com/ndk/reference/group/logging

Labels Milestones

Add option to redirect output to file #918