blob: 371411844db99491a42321b9d216da75f237de99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Description: Remove_nondeterminism
--- a/menu.c
+++ b/menu.c
@@ -1275,7 +1275,7 @@
/***************************************************************************/
int printinfo(void) {
# if defined (__FILE__ )
- printf("\n\tSource : %s", __FILE__);
+ /* printf("\n\tSource : %s", __FILE__); */
# endif
# if defined (DEBUG)
printf("(Debug version)");
@@ -1288,7 +1288,7 @@
(int) strlen(Author) - 10, Author + 9);
#if defined(__DATE__ ) && defined(__TIME__)
- printf("\n\tCompiled : %s %s\n", __DATE__, __TIME__);
+ /* printf("\n\tCompiled : %s %s\n", __DATE__, __TIME__); */
#endif
printf("\n\t-------------------------------\n\n");
|