Revision 784c38f50e70a739400cdd3f2620bac2e2788e6c authored by Greg Hudson on 01 August 2024, 06:41:15 UTC, committed by Greg Hudson on 05 August 2024, 21:11:01 UTC
Edit the block comment above k5_sendto() to take into account commits 802318cda963456b3ed7856c836e89da891483be (which added request_timeout) and 6436a3808061da787a43c6810f5f0370cdfb6e36 (which made the open TCP connection wait indefinite).
1 parent 2063e72
move-if-changed
#!/bin/sh
# Move file 1 to file 2 if they don't already match.
# Good for "make depend" for example, where it'd be nice to keep the
# old datestamp.
if [ $# != 2 ]; then
echo 2>&1 usage: $0 newfile oldfilename
exit 1
fi
#
if [ ! -r "$2" ]; then
exec mv -f "$1" "$2"
fi
if cmp "$1" "$2" >/dev/null; then
echo "$2 is unchanged"
exec rm -f "$1"
fi
exec mv -f "$1" "$2"
Computing file changes ...
