src/v8/src/third_party/xdk/xdk-types.h

   1 // Copyright (c) 2013 Intel Corporation. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 #ifndef XDK_TYPES_H_
   6 #define XDK_TYPES_H_
   7
   8 #include "v8.h"
   9 #include "platform.h"
  10
  11 namespace v8engine = v8::internal;
  12
  13 static void XDKLog(const char* msg, ...) {
  14 #if DEBUG
  15   va_list arguments;
  16   va_start(arguments, msg);
  17   v8engine::OS::VPrint(msg, arguments);
  18   va_end(arguments);
  19 #endif
  20 }
  21
  22 #endif  // XDK_TYPES__H_
  23