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.
prevent curl's output to interfere with the prover's output
authorblanchet
Thu, 19 Dec 2013 10:12:28 +0100
changeset 54814 8911ac4df9c0
parent 54813 c8b04da1bd01
child 54815 4f6ec8754bf5
prevent curl's output to interfere with the prover's output
src/HOL/Tools/ATP/scripts/remote_spass_pirate file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/scripts/remote_spass_pirate	Thu Dec 19 09:28:20 2013 +0100
+++ b/src/HOL/Tools/ATP/scripts/remote_spass_pirate	Thu Dec 19 10:12:28 2013 +0100
@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-curl -F file=@"$2" "http://91.228.53.68:51642/solve/pirate/"$1"s"
+curl -s -F file=@"$2" "http://91.228.53.68:51642/solve/pirate/"$1"s"
isabelle