2007-05-23 13:27:00 -04:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <string.h>
|
|
|
|
#include <regen.h>
|
|
|
|
#include <noregen.h>
|
2007-05-09 15:10:12 -04:00
|
|
|
|
2007-06-13 16:26:50 -04:00
|
|
|
int main(int argc, char** argv)
|
2007-05-09 15:10:12 -04:00
|
|
|
{
|
2007-05-23 13: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 10:05:52 -04:00
|
|
|
fflush(stdout);
|
2007-06-13 16:26:50 -04:00
|
|
|
// if any argument is used, wait forever
|
|
|
|
if (argc>1)
|
|
|
|
{
|
|
|
|
// wait that we get killed...
|
|
|
|
for(;;);
|
|
|
|
}
|
2007-05-09 15:10:12 -04:00
|
|
|
return 0;
|
|
|
|
}
|