slight speed improvement in meta updating

diff --git a/indexmeta.sh b/indexmeta.sh
index 37a617aa0fa6c860f44ceeb1f568568380d0ee89..f0185fb77fefa4381df607eeaf23af929edfe7f4 100644 (file)
--- 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"