- echo WARNING
- echo
- if [ -f ETC_BASHRC=$HOME/.bashrc ]
- then
- export ETC_BASHRC=$HOME/.bashrc
- else
- if [ -f ETC_BASHRC=$HOME/.profile ]
- then
- export ETC_BASHRC=$HOME/.profile
- fi
- fi
- echo "the curently used Third Party libraries are NOT in $installPrefixThird but in :"
-
- grep "installPrefixThird=" $ETC_BASHRC
- echo "VTK_DIR : " $VTK_DIR
- echo "ITK_DIR : " $ITK_DIR
- echo "GDCM_DIR : " $GDCM_DIR
- echo "(Have a look at $ETC_BASHRC=, edit it or run again Install Third Party Libraries if you disagree)"
+ echo WARNING
+ echo "the curently used Third Party libraries are NOT in $installPrefixThird but ... in :"
+ grep "installPrefixThird=" $ETC_BASHRC
+ echo "VTK_DIR : " $VTK_DIR
+ echo "ITK_DIR : " $ITK_DIR
+ echo "GDCM_DIR : " $GDCM_DIR
+ echo "(Have a look at $ETC_BASHRC=, edit it or run again Install Third Party Libraries if you disagree)"