diff options
| author | Joe Carstairs <me@joeac.net> | 2026-06-25 08:22:27 +0100 |
|---|---|---|
| committer | Joe Carstairs <me@joeac.net> | 2026-06-25 08:22:27 +0100 |
| commit | 83e0f1cda52e8cc66125a484048a8702b80db399 (patch) | |
| tree | 3f34279d8c52bf9a472542324da2407181114470 /http/bin | |
| parent | aa4f63a8ce88579fa5aa23d3345d302e26f9d9d7 (diff) | |
http: replaces prune_out script with make rules
Diffstat (limited to 'http/bin')
| -rwxr-xr-x | http/bin/prune_out | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/http/bin/prune_out b/http/bin/prune_out deleted file mode 100755 index f8bbcab..0000000 --- a/http/bin/prune_out +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/sh -e - -for out in $(find out -type f) -do - out_basename="$(basename "$out")" - out_ext="${out_basename##*\.}" - rel_path="$(echo "${out}" | cut -c5-)" - - if [ -f "public/${rel_path}" ]; then - continue - fi - - base_rel_path="${rel_path%%.${out_ext}}" - src_path="src/${base_rel_path}.upp${out_ext}" - if [ -f "$src_path" ]; then - continue - fi - - for layout in $(find share/layouts -name "*.layout.upp${out_ext}"); do - layout="$(basename "$layout")" - layout="$(echo ${layout} | cut -c1-$(( ${#layout} - 15 )) )" - rel_path="$(echo "${out}" | cut -c5-)" - base_rel_path="${rel_path%%.${out_ext}}" - src_path="src/${base_rel_path}.${layout}.upp${out_ext}" - if [ -f "$src_path" ]; then - continue 2 - fi - done - - echo "No source file found to match ${out}: removing it" - rm "$out" -done |
