From: Paul Hänsch <paul@plutz.net>
Date: Fri, 20 Jul 2018 21:12:22 +0000 (+0200)
Subject: slight speed improvement in meta updating
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=9221d19435d685edf5cf54f4ad7419bc9255996f;p=serve0

slight speed improvement in meta updating
---

diff --git a/indexmeta.sh b/indexmeta.sh
index 37a617a..f0185fb 100644
--- a/indexmeta.sh
+++ b/indexmeta.sh
@@ -92,13 +92,12 @@ meta_dir(){
     RELEASE "$meta"
   elif [ -d "$dir/.index" -a "$dir" -nt "$meta" ] && LOCK "$meta"; then
     cp -p "$meta" "$meta.ref"; touch "$meta"
-    find "$dir" -type f -mindepth 1 -maxdepth 1 \
+    find "$dir" -type f -newer "$meta.ref" \
+         -mindepth 1 -maxdepth 1 \
     | grep -aE "$file_pattern" \
     | while read -r v; do
-      if [ "$v" -nt "$meta.ref" ]; then
-        grep -qF "	$(meta_name "$v")" "$meta" \
-        || meta_line "$v"
-      fi
+      grep -qF "	$(meta_name "$v")" "$meta" \
+      || meta_line "$v"
     done >>"$meta"
     rm "$meta.ref"