Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed cmp -s option;
authorwenzelm
Tue, 07 Jan 1997 09:03:53 +0100
changeset 2475 36bdba95e170
parent 2474 9990f088d7ac
child 2476 dae7f8ca5001
fixed cmp -s option;
patch-scripts.bash file | annotate | diff | comparison | revisions 
--- 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
isabelle