diff options
Diffstat (limited to '.zsh/zshenv/01_path')
| -rw-r--r-- | .zsh/zshenv/01_path | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.zsh/zshenv/01_path b/.zsh/zshenv/01_path index 9b2e944..243de00 100644 --- a/.zsh/zshenv/01_path +++ b/.zsh/zshenv/01_path @@ -41,7 +41,7 @@ path_append /opt/nios2/bin path_append /opt/nios2mmu/x86-linux2/bin path_prepend /opt/codesourcery/nios2-4.1-211/bin #path_append /opt/codesourcery/arm-2010.09/bin -path_append /opt/cov-analysis-linux64-7.7.0.4/bin +path_append /opt/coverity/bin path_append /opt/linaro/gcc-linaro-arm-linux-gnueabihf/bin path_append /opt/sourceryg++-2014.05/bin |