diff options
| author | mjdenkowski <michael.j.denkowski@gmail.com> | 2013-09-11 11:17:24 -0400 |
|---|---|---|
| committer | mjdenkowski <michael.j.denkowski@gmail.com> | 2013-09-11 11:17:24 -0400 |
| commit | 71d5744c7dd2e28f20f491bc04afeb5f2f3f64b8 (patch) | |
| tree | 6452f32cab8c50b438cdabc68e98cf8066336978 | |
| parent | ee1d45810c869411c6c3b7c6de366393882a2efe (diff) | |
Use bash instead of sh
| -rwxr-xr-x | corpus/tokenize-anything.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |