mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2024-11-11 00:10:08 +00:00
Merge pull request #380 from brianjriddle/master
fixes for ant plugin. tested on mac.
This commit is contained in:
commit
4b828cda28
1 changed files with 3 additions and 3 deletions
|
@ -2,14 +2,14 @@ stat -f%m . > /dev/null 2>&1
|
|||
if [ "$?" = 0 ]; then
|
||||
stat_cmd=(stat -f%m)
|
||||
else
|
||||
stat_cmd=(stat -L --format=%y)
|
||||
stat_cmd=(stat -L --format=%Y)
|
||||
fi
|
||||
|
||||
_ant_does_target_list_need_generating () {
|
||||
if [ ! -f .ant_targets ]; then return 0;
|
||||
else
|
||||
accurate=$($stat_cmd -f%m .ant_targets)
|
||||
changed=$($stat_cmd -f%m build.xml)
|
||||
accurate=$($stat_cmd .ant_targets)
|
||||
changed=$($stat_cmd build.xml)
|
||||
return $(expr $accurate '>=' $changed)
|
||||
fi
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue