Remove inline header includes from non-inline headers (1).

tools/check-inline-includes.sh

Index: tools/check-inline-includes.sh
diff --git a/tools/check-inline-includes.sh b/tools/check-inline-includes.sh
new file mode 100755
index 0000000000000000000000000000000000000000..536afb1dd4df9cdec6a81dc208dca2be9f244854
--- /dev/null
+++ b/tools/check-inline-includes.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+# Copyright 2015 the V8 project authors. All rights reserved.
+# Use of this source code is governed by a BSD-style license that can be
+# found in the LICENSE file.
+
+v8_root=$(readlink -f $(dirname $BASH_SOURCE)/../)
+headers=$(find "$v8_root/src" -name '*.h' -not -name '*-inl.h')
+
+for header in $headers; do
+  inline_header_include=$(grep '#include ".*-inl.h"' "$header")
+  if [ -n "$inline_header_include" ]; then
+    echo "The following non-inline header seems to include an inline header:"
+    echo "  Header : $header"
+    echo "  Include: $inline_header_include"
+    echo
+  fi
+done
+
+echo "Kthxbye."