Merge pull request #1111 from waywardmonkeys/use_va_copy

Use va_copy (C99) instead of __va_copy (GNU ext).

1 files changed, 1 insertions, 1 deletions

diff --git a/tests/runner.py b/tests/runner.py
index 008a73f0..056931cc 100755
--- a/tests/runner.py
+++ b/tests/runner.py
@@ -4016,7 +4016,7 @@ def process(filename):
 
             // Try it with copying
             va_list tempva;
-            __va_copy(tempva, v);
+            va_copy(tempva, v);
             vsnprintf(d, 20, s, tempva);
             puts(d);