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 | 84e0f04f9c3a156aa9292c6d6dedbbd94b13bd1a (patch) | |
| tree | f7c97c5ea50a10e32fe9f90c2a6aa0aecd6c8807 | |
| parent | 139a18363ea903d94f42680731d444ba042895c5 (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 |