view move-if-change @ 64533:dc17db575e11

(Fload, load_unwind): Use make_save_value to unwind protect stream.

+
��#!/bin/sh
+
��if
+
��test -r $2
+
��then
+
��if
+
��cmp $1 $2 > /dev/null
+
��then
+
��echo $2 is unchanged
+
��rm -f $1
+
��else
+
��mv -f $1 $2
+
��fi
+
��else
+
��mv -f $1 $2
+
��fi