| 1075 | } |
| 1076 | |
| 1077 | void |
| 1078 | logPattern(const char * patternName) |
| 1079 | { |
| 1080 | if ( genInfo.aExtendedOutput || genInfo.patternName != patternName ) { |
| 1081 | fprintf(logStream, "%s is being tuned, progress: ", patternName); |
| 1082 | if (genInfo.aExtendedOutput) { |
| 1083 | fprintf(logStream, "\n"); |
| 1084 | }else { |
| 1085 | fprintf(logStream, " "); |
| 1086 | } |
| 1087 | fflush(logStream); |
| 1088 | genInfo.patternName = patternName; |
| 1089 | } |
| 1090 | |
| 1091 | } |
| 1092 | void |
| 1093 | logEndString(void) |
| 1094 | { |