Update: Help ensure va_copy() is defined.

diff --git a/level_0/f_print/c/print/common.h b/level_0/f_print/c/print/common.h
index e5788aead0040a162d623bb1fc79fe7780106e10..7b95144db1729dbfb320eafc7d79942148d4d57b 100644 (file)
--- a/level_0/f_print/c/print/common.h
+++ b/level_0/f_print/c/print/common.h
@@ -17,6 +17,13 @@ extern "C" {
 #endif
 
 /**
+ * Guarantee va_copy() exists when __va_copy() is provided instead.
+ */
+#if !defined(va_copy) && defined(__va_copy)
+  #define va_copy __va_copy
+#endif // !defined(va_copy) && defined(__va_copy)
+
+/**
  * Defines the maximum length supported by write() for use in printing.
  *
  * This is documented in the man write(2) pages under Linux to being 0x7ffff000 regardless of 32-bit or 64-bit.