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