treewide: use ${stdenv.shell} instead of /bin/sh where possible

2019-01-16 20:37:15 +01:00
parent 3956a8421f
commit bcf54ce5bb
92 changed files with 156 additions and 120 deletions
@@ -11,7 +11,7 @@ let

  start_script =
    ''
-      #!/bin/sh
+      #!${stdenv.shell}
      cd $out/lib/hol_light
      exec ${ocaml}/bin/ocaml \
        -I \`${camlp5}/bin/camlp5 -where\` \