1#!/bin/bash
2#
3# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4#
5# SPDX-License-Identifier: BSD-2-Clause
6#
7
8#
9# Concatinate files together, adding in appropriate "#line" directives.
10#
11
12while [ $# -ge 1 ]; do
13    echo "#line 1 \"$1\""
14    cat "$1"
15    shift
16done
17
18