diff options
| author | Robby Russell <robby@planetargon.com> | 2011-06-01 09:33:49 +0200 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2011-06-01 09:33:49 +0200 |
| commit | 7b0b83623fb54d21932014c9a6267e6dc03976db (patch) | |
| tree | 9eac51c8ae668ec67a326710cd863f6717e723f6 /plugins/ant | |
| parent | 23a082df129b12b6edf8ea04432b0cb2be0588fd (diff) | |
| parent | 643a4e77f639c1742d1ce01d8028649ae12f8e62 (diff) | |
| download | zsh-7b0b83623fb54d21932014c9a6267e6dc03976db.tar.gz zsh-7b0b83623fb54d21932014c9a6267e6dc03976db.tar.bz2 zsh-7b0b83623fb54d21932014c9a6267e6dc03976db.zip | |
Merge branch 'master' of github.com:robbyrussell/oh-my-zsh
Diffstat (limited to 'plugins/ant')
| -rw-r--r-- | plugins/ant/ant.plugin.zsh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/plugins/ant/ant.plugin.zsh b/plugins/ant/ant.plugin.zsh index 0544ac92c..23bc7756a 100644 --- a/plugins/ant/ant.plugin.zsh +++ b/plugins/ant/ant.plugin.zsh @@ -1,8 +1,15 @@ +stat -f%m . > /dev/null 2>&1 +if [ "$?" = 0 ]; then + stat_cmd=(stat -f%m) +else + stat_cmd=(stat -L --format=%y) +fi + _ant_does_target_list_need_generating () { if [ ! -f .ant_targets ]; then return 0; else - accurate=$(stat -f%m .ant_targets) - changed=$(stat -f%m build.xml) + accurate=$($stat_cmd -f%m .ant_targets) + changed=$($stat_cmd -f%m build.xml) return $(expr $accurate '>=' $changed) fi } |