diff options
| author | Martin Thurau <martin.thurau@gmail.com> | 2011-05-27 16:58:14 +0200 |
|---|---|---|
| committer | Martin Thurau <martin.thurau@gmail.com> | 2011-05-27 16:58:14 +0200 |
| commit | 04573324d52aaadf947f3a80190e4f54d8580932 (patch) | |
| tree | 6094d9e5b13949c88cc068fa825977dce2c5aa95 | |
| parent | ab2a7b51a8c3ead55a272fba58232d0823e519a2 (diff) | |
| download | zsh-04573324d52aaadf947f3a80190e4f54d8580932.tar.gz zsh-04573324d52aaadf947f3a80190e4f54d8580932.tar.bz2 zsh-04573324d52aaadf947f3a80190e4f54d8580932.zip | |
Added compatibility for the linux 'stat' command for the ant plugin
| -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 } |