Make this run on Debian/Ubuntu

2011-07-18 11:50:39 +04:00 · 2011-07-18 11:50:39 +04:00 · 5f73c3f32e
parent 9673962a87
commit 5f73c3f32e
2 changed files with 1 additions and 1 deletions
--- a/c_src/buildlib.sh
+++ b/c_src/buildlib.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 if [ `basename $PWD` != "c_src" ]; then
    pushd c_src
--- a/BIN
+++ b/BIN