Searched refs:delta_mtime (Results 1 – 1 of 1) sorted by relevance
31 delta_mtime=$(( $new_mtime - $old_mtime ))34 if [ "$delta_mtime" -gt 0 ]; then35 if [ "$delta_mtime" -lt $TIME_MARGIN ]; then