if [ $# = 0 || $# != 4 ]
then
echo "Use it as :"
echo "sh install_thirdparty_all.sh <nameOfTheGenerationDirectory> <installPrefix> <buildType> <OperatingSystem>"
echo "with 'OperatingSystem' in {Fedora, Ubuntu, MacOS}"
if [ $# = 0 || $# != 4 ]
then
echo "Use it as :"
echo "sh install_thirdparty_all.sh <nameOfTheGenerationDirectory> <installPrefix> <buildType> <OperatingSystem>"
echo "with 'OperatingSystem' in {Fedora, Ubuntu, MacOS}"