quote URL containing #

see cil-project/cil#18 (comment)
goblint · Dec 18, 2014 · 0f1b139 · 0f1b139
1 parent 0a63dda
commit 0f1b139
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make.sh b/make.sh
@@ -70,7 +70,7 @@ rule() {
              eval `opam config env`
              opam install ocamlfind batteries xml-light
              # opam's cil is too old
-             opam pin -y add cil https://github.com/kerneis/cil.git#develop
+             opam pin -y add cil "https://github.com/kerneis/cil.git#develop"
              ;;
     bench)   git submodule update --init --recursive bench;;
     *)       echo "Unknown action '$1'. Try clean, opt, debug, profile, byte, or doc.";;