| Revision | 77a043a35bccfa8b56d96780861ba6d3fe6e6bbc (tree) |
|---|---|
| Zeit | 2022-04-30 17:23:38 |
| Autor | Fojtik |
| Commiter | Fojtik |
Wrong pointer size optimisation is severe problem and program must be aborted without asking user.
trunk/sources.cc/wp2latex.cc (diff)| @@ -627,6 +627,7 @@ | ||
| 627 | 627 | { |
| 628 | 628 | Heading(); |
| 629 | 629 | fprintf(err,_("\nFatal: Compillation has been optimised for pointer size %ubits, pointer size is %ubits!"), POINTER_SIZE, (unsigned)sizeof(void*)*8); |
| 630 | + Interactive = false; // This problem is really unpleasant, abort app. | |
| 630 | 631 | AskUser(); |
| 631 | 632 | } |
| 632 | 633 | #endif |
Fork