Replace hard coded /bin/bash occurrences

2016-10-04 20:15:37 +02:00
parent 58b6c84071
commit aafbd40577
10 changed files with 13 additions and 13 deletions
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!@shell@

 source $stdenv/setup
 echo "Building Manticore research compiler."