1#!/bin/sh 2# Copyright 2025 The Pigweed Authors 3# 4# Licensed under the Apache License, Version 2.0 (the "License"); you may not 5# use this file except in compliance with the License. You may obtain a copy of 6# the License at 7# 8# https://www.apache.org/licenses/LICENSE-2.0 9# 10# Unless required by applicable law or agreed to in writing, software 11# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 12# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the 13# License for the specific language governing permissions and limitations under 14# the License. 15set -eu 16exec 1>>"$1" 17shift 18prefix="$1" 19shift 20echo 'module "crosstool" [system] {' 21for dir in $@; do 22 find -L "${dir}" -type f 2>/dev/null | sort | uniq | while read header; do 23 echo " textual header \"${prefix}${header}\"" 24 done 25done 26echo "}" 27