blob: dadf93d6b973d857d4ca1fd1627f1e69874874ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#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);
return 0;
}
|
