| 320 | } |
| 321 | |
| 322 | void restoreOriginals() |
| 323 | { |
| 324 | PlatformSpecificPutchar = SavePutchar; |
| 325 | PlatformSpecificFOpen = SaveFOpen; |
| 326 | PlatformSpecificFPuts = SaveFPuts; |
| 327 | PlatformSpecificFClose = SaveFClose; |
| 328 | } |
| 329 | |
| 330 | static PlatformSpecificFile fopen_fake(const char*, const char*) |
| 331 | { |