STYLE: use '&&', '||' instead of '-a' and '-o' for some shell commands

This commit is contained in:
Mark Olesen
2018-12-10 15:13:15 +01:00
parent 51a3f4e6e4
commit 170baf4d3b
5 changed files with 6 additions and 6 deletions

View File

@ -49,7 +49,7 @@ then
# outside of ThirdParty and should be added to the path.
ending="${ADIOS_ARCH_PATH##*-}"
if [ "$ending" != none -a "$ending" != system ]
if [ "$ending" != none ] && [ "$ending" != system ]
then
# PATH was already cleaned by etc/bashrc caller
_foamAddPath $ADIOS_ARCH_PATH/bin