From 71d5744c7dd2e28f20f491bc04afeb5f2f3f64b8 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