Revision 14776
Added by Aaron Marcuse-Kubitza about 10 years ago
| trunk/lib/runscripts/table.run | ||
|---|---|---|
| 51 | 51 |
|
| 52 | 52 |
header() { echo_func; : "${1:?}"; head -1 "$1"; }
|
| 53 | 53 |
|
| 54 |
header_txt="$top_dir"/header.txt |
|
| 55 |
|
|
| 54 | 56 |
##### targets |
| 55 | 57 |
|
| 56 | 58 |
header.txt() { begin_target; to_target header "$_1st_src"; }
|
| 57 | 59 |
|
| 60 |
check_headers() |
|
| 61 |
{
|
|
| 62 |
begin_target |
|
| 63 |
header.txt |
|
| 64 |
local header="$(header "$header_txt")" |
|
| 65 |
for file in "${srcs[@]}"; do
|
|
| 66 |
test "$(echo_run header "$file")" = "$header" \ |
|
| 67 |
|| die "$file: header mismatched" |
|
| 68 |
done |
|
| 69 |
} |
|
| 70 |
|
|
| 58 | 71 |
load_data() |
| 59 | 72 |
{
|
| 60 | 73 |
begin_target |
Also available in: Unified diff
lib/runscripts/table.run: added check_headers()