2016-04-29 17:53:13 +03:00
|
|
|
#include <noregen.h>
|
|
|
|
#include <regen.h>
|
2007-05-23 21:27:00 +04:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <string.h>
|
2007-05-09 23:10:12 +04:00
|
|
|
|
2007-06-14 00:26:50 +04:00
|
|
|
int main(int argc, char** argv)
|
2007-05-09 23:10:12 +04:00
|
|
|
{
|
2007-05-23 21:27:00 +04:00
|
|
|
/* Make sure the noregen header was not regenerated. */
|
2016-05-16 17:34:04 +03:00
|
|
|
if (strcmp("foo", noregen_string) != 0) {
|
2007-05-23 21:27:00 +04:00
|
|
|
printf("FAILED: noregen.h was regenerated!\n");
|
|
|
|
return 1;
|
2016-05-16 17:34:04 +03:00
|
|
|
}
|
2007-05-23 21:27:00 +04:00
|
|
|
|
|
|
|
/* Print out the string that should have been regenerated. */
|
|
|
|
printf("%s\n", regen_string);
|
2007-05-10 18:05:52 +04:00
|
|
|
fflush(stdout);
|
2007-05-09 23:10:12 +04:00
|
|
|
return 0;
|
|
|
|
}
|