#!/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)/../)
for directory in$directories;doheaders=$(find "$v8_root/$directory"-name'*.h'-not-name'*-inl.h')for header in$headers;doinline_header_include=$(grep'#include ".*-inl.h"'"$header")if[-n"$inline_header_include"];thenecho"The following non-inline header seems to include an inline header:"echo" Header : $header"echo" Include: $inline_header_include"echofi done