diff options
Diffstat (limited to 'benchmarks/libmicro/files/patch-longjmp.c')
| -rw-r--r-- | benchmarks/libmicro/files/patch-longjmp.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/benchmarks/libmicro/files/patch-longjmp.c b/benchmarks/libmicro/files/patch-longjmp.c new file mode 100644 index 000000000000..1c190b574c94 --- /dev/null +++ b/benchmarks/libmicro/files/patch-longjmp.c @@ -0,0 +1,11 @@ +--- longjmp.c.orig Wed Aug 31 11:53:48 2005 ++++ longjmp.c Wed Aug 31 11:55:10 2005 +@@ -55,7 +55,7 @@ + int + benchmark(void *tsd, result_t *res) + { +- int i = 0; ++ volatile int i = 0; + jmp_buf env; + + (void) setjmp(env); |