X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2FTPTP%2Ffetch_results_tptp.lua;h=87aa91a98a75a80314f41d15b66bbdab289f04ef;hb=d86eefac7dff521eb2589b6f2dcb8a1b361be186;hp=886e023365460dfbdbe3ff687dca31388b035704;hpb=19f17706f835cff0e0cc0e6c65b9cb65d64a53a4;p=helm.git

diff --git a/helm/software/matita/tests/TPTP/fetch_results_tptp.lua b/helm/software/matita/tests/TPTP/fetch_results_tptp.lua
index 886e02336..87aa91a98 100755
--- a/helm/software/matita/tests/TPTP/fetch_results_tptp.lua
+++ b/helm/software/matita/tests/TPTP/fetch_results_tptp.lua
@@ -36,7 +36,7 @@ function main(argv)
 		local f = io.open(logfilename,"w")
 		f:write(data)
 		f:close()
-		os.execute("gzip "..logfilename)
+		os.execute("gzip -f "..logfilename)
 	end
 end