bar.cxx 538 B

12345678910111213141516171819202122232425
  1. #include <stdio.h>
  2. #include <string.h>
  3. #include <regen.h>
  4. #include <noregen.h>
  5. int main(int argc, char** argv)
  6. {
  7. /* Make sure the noregen header was not regenerated. */
  8. if(strcmp("foo", noregen_string) != 0)
  9. {
  10. printf("FAILED: noregen.h was regenerated!\n");
  11. return 1;
  12. }
  13. /* Print out the string that should have been regenerated. */
  14. printf("%s\n", regen_string);
  15. fflush(stdout);
  16. // if any argument is used, wait forever
  17. if (argc>1)
  18. {
  19. // wait that we get killed...
  20. for(;;);
  21. }
  22. return 0;
  23. }