Actually replace the files that changes, as opposed to only replacing

the ones that are the same.

diff --git a/gen/zephyr.sh b/gen/zephyr.sh
index b0b4462ba5ef3ed268d9dc25d6b26bf31165827b..16626c844c7f19d85c2ff97e31a4634e331a0762 100644 (file)
--- a/gen/zephyr.sh
+++ b/gen/zephyr.sh
@@ -22,7 +22,8 @@ tar xf $TARFILE || exit $MR_TARERR
 # Copy over each file which is new or has changed
 for file in *; do
     if [ -f ../acl/$file ]; then
-       if cmp -s $file ../acl/$file; then
+       cmp -s $file ../acl/$file       
+       if [ $? != 0 ]; then
            mv $file ../acl/$file
            hup=yes
        fi