Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Fix opam-repository#10

github archives can start by http://
  • Loading branch information...
commit 14eaad36b21241cf468ea13602346a24cda2457d 1 parent 140a484
Thomas Gazagnaire authored August 25, 2012

Showing 1 changed file with 2 additions and 1 deletion. Show diff stats Hide diff stats

  1. 3  src/run.ml
3  src/run.ml
@@ -310,7 +310,8 @@ end
310 310
 let is_tar_archive = Tar.is_archive
311 311
 
312 312
 let is_github_tarball s =
313  
-  Utils.starts_with ~prefix:"https://github.com/" s
  313
+  (Utils.starts_with ~prefix:"https://github.com/" s
  314
+   || Utils.starts_with ~prefix:"http://github.com/" s)
314 315
   && Filename.basename (Filename.dirname s) = "tarball"
315 316
 
316 317
 let extract file dst =

0 notes on commit 14eaad3

Please sign in to comment.
Something went wrong with that request. Please try again.