mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
Merge branch 'master' of /home/noisy3/OpenFOAM/OpenFOAM-dev
This commit is contained in:
@ -7,9 +7,9 @@ then
|
||||
case "$ParaView_VERSION" in
|
||||
3* | git)
|
||||
|
||||
if [ ! -d "${PV_PLUGIN_PATH}" ]
|
||||
if [ ! -n "${PV_PLUGIN_PATH}" ]
|
||||
then
|
||||
echo "$0 : PV_PLUGIN_PATH not a valid directory."
|
||||
echo "$0 : PV_PLUGIN_PATH not a valid."
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user