diff options
Diffstat (limited to 'benchmarks/filebench/files/patch-parser_gram.c')
| -rw-r--r-- | benchmarks/filebench/files/patch-parser_gram.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/benchmarks/filebench/files/patch-parser_gram.c b/benchmarks/filebench/files/patch-parser_gram.c new file mode 100644 index 000000000000..6d9932ccfd54 --- /dev/null +++ b/benchmarks/filebench/files/patch-parser_gram.c @@ -0,0 +1,11 @@ +--- parser_gram.c.orig 2013-01-18 18:18:01.000000000 +0100 ++++ parser_gram.c 2013-01-18 18:18:07.000000000 +0100 +@@ -114,7 +114,7 @@ + /* executable name to execute worker processes later */ + char *execname; + +-static int dofile = DOFILE_FALSE; ++int dofile = DOFILE_FALSE; + static FILE *parentscript; + + static char *fbbasepath = FILEBENCHDIR; |