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 /corpus | |
parent | ee1d45810c869411c6c3b7c6de366393882a2efe (diff) |
Use bash instead of sh
Diffstat (limited to 'corpus')
-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 |