diff options
author | Marc Cornellà <marc.cornella@live.com> | 2020-02-27 22:55:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-27 22:55:30 +0100 |
commit | 18ee5dffdc57bb9219ee96b40da006704ac37df1 (patch) | |
tree | e1fe420cf18fa7a916d5d43c408c6f92ed33b62d /plugins/paver/paver.plugin.zsh | |
parent | d81cd753e0b3a845e8f3549da245dbad102a6e4c (diff) | |
parent | 368198b7616eb69b396de86d9ec4ff0f35bd72f0 (diff) | |
download | zsh-18ee5dffdc57bb9219ee96b40da006704ac37df1.tar.gz zsh-18ee5dffdc57bb9219ee96b40da006704ac37df1.tar.bz2 zsh-18ee5dffdc57bb9219ee96b40da006704ac37df1.zip |
Merge branch 'master' into clipboard
Diffstat (limited to 'plugins/paver/paver.plugin.zsh')
-rw-r--r-- | plugins/paver/paver.plugin.zsh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/paver/paver.plugin.zsh b/plugins/paver/paver.plugin.zsh index 40bdbd12f..7e70ea37c 100644 --- a/plugins/paver/paver.plugin.zsh +++ b/plugins/paver/paver.plugin.zsh @@ -1,7 +1,7 @@ _paver_does_target_list_need_generating () { - [ ! -f .paver_targets ] && return 0; - [ pavement.py -nt .paver_targets ] && return 0; - return 1; + [ ! -f .paver_targets ] && return 0 + [ pavement.py -nt .paver_targets ] && return 0 + return 1 } _paver () { |