| 12345678910111213141516171819202122232425 |
- #include <stdio.h>
- #include <string.h>
- #include <regen.h>
- #include <noregen.h>
- int main(int argc, char** argv)
- {
- /* 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);
- fflush(stdout);
- // if any argument is used, wait forever
- if (argc>1)
- {
- // wait that we get killed...
- for(;;);
- }
- return 0;
- }
|