diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/generator.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/generator.ml b/src/generator.ml index 7905c367..cd2f2a1e 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -4160,6 +4160,9 @@ static int %s_skip (void) { const char *str; + str = getenv (\"TEST_ONLY\"); + if (str) + return strstr (str, \"%s\") == NULL; str = getenv (\"SKIP_%s\"); if (str && strcmp (str, \"1\") == 0) return 1; str = getenv (\"SKIP_TEST_%s\"); @@ -4167,7 +4170,7 @@ static int %s_skip (void) return 0; } -" test_name (String.uppercase test_name) (String.uppercase name); +" test_name name (String.uppercase test_name) (String.uppercase name); (match prereq with | Disabled | Always -> () @@ -4183,7 +4186,7 @@ static int %s_skip (void) static int %s (void) { if (%s_skip ()) { - printf (\"%%s skipped (reason: SKIP_TEST_* variable set)\\n\", \"%s\"); + printf (\"%%s skipped (reason: environment variable set)\\n\", \"%s\"); return 0; } |