# HG changeset patch
# User wenzelm
# Date 852624233 -3600
# Node ID 36bdba95e170c55c6a5c721fb51ba47f26e36dd0
# Parent  9990f088d7acdd3847225bfe7eb8f3a2e9c8d4d6
fixed cmp -s option;

diff -r 9990f088d7ac -r 36bdba95e170 patch-scripts.bash
--- a/patch-scripts.bash	Tue Jan 07 09:01:52 1997 +0100
+++ b/patch-scripts.bash	Tue Jan 07 09:03:53 1997 +0100
@@ -41,7 +41,7 @@
 do
   if [ -x "$FILE" ]; then
     sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" $FILE >$FILE~~
-    if cmp $FILE $FILE~~ -s; then
+    if cmp -s $FILE $FILE~~; then
       rm $FILE~~
     else
       rm -f $FILE