From 84e0f04f9c3a156aa9292c6d6dedbbd94b13bd1a Mon Sep 17 00:00:00 2001
From: mjdenkowski <michael.j.denkowski@gmail.com>
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(-)

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