diff options
| author | Robby Russell <robby@planetargon.com> | 2011-05-26 01:04:23 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2011-05-26 01:04:23 -0700 |
| commit | 54e475844a002a8c2f0793b205c300feb516c24a (patch) | |
| tree | 0a8aeedc712d9512bdbb9e960a9a96fa34a8fee0 /plugins/phing/phing.plugin.zsh | |
| parent | 41dbf794ba42b4150b1d4f6a47b08f22d9c6f25d (diff) | |
| parent | 6a39f8109320e9bd13f006648baf84bb62d1d487 (diff) | |
| download | zsh-54e475844a002a8c2f0793b205c300feb516c24a.tar.gz zsh-54e475844a002a8c2f0793b205c300feb516c24a.tar.bz2 zsh-54e475844a002a8c2f0793b205c300feb516c24a.zip | |
Merge pull request #139 from clauswitt/master
Fixed an issue with the phing plugin
Diffstat (limited to 'plugins/phing/phing.plugin.zsh')
| -rw-r--r-- | plugins/phing/phing.plugin.zsh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/phing/phing.plugin.zsh b/plugins/phing/phing.plugin.zsh index 80e334629..8f4adca08 100644 --- a/plugins/phing/phing.plugin.zsh +++ b/plugins/phing/phing.plugin.zsh @@ -10,7 +10,6 @@ _phing_does_target_list_need_generating () { _phing () { if [ -f build.xml ]; then if _phing_does_target_list_need_generating; then - echo "\nGenerating .phing_targets..." > /dev/stderr phing -l |grep -v ":" |grep -v "^$"|grep -v "\-" > .phing_targets fi compadd `cat .phing_targets` |