From 71d5744c7dd2e28f20f491bc04afeb5f2f3f64b8 Mon Sep 17 00:00:00 2001 From: mjdenkowski Date: Wed, 11 Sep 2013 11:17:24 -0400 Subject: Use bash instead of sh --- corpus/tokenize-anything.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'corpus') diff --git a/corpus/tokenize-anything.sh b/corpus/tokenize-anything.sh index a20a022f..fb038717 100755 --- a/corpus/tokenize-anything.sh +++ b/corpus/tokenize-anything.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash ROOTDIR=`dirname $0` SUPPORT=$ROOTDIR/support -- cgit v1.2.3