Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-07 00:53:41 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

add "non verbose" flag to wget calls

Browse Source
This commit is contained in:
Pascal Brisset
2009-10-15 06:24:07 +00:00
parent 4322377591
commit 71e0533cbe
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/http.ml
+1 -1
View File
@@ -9,7 +9,7 @@ let file_of_url = fun ?dest url ->
match dest with
Some s -> s
| None -> Filename.temp_file "fp" ".wget" in
let c = Printf.sprintf "wget --cache=off -O %s '%s'" tmp_file url in
let c = Printf.sprintf "wget -nv --cache=off -O %s '%s'" tmp_file url in
if Sys.command c = 0 then
tmp_file
else begin