diff options
Diffstat (limited to 'HDF5.sh')
-rw-r--r-- | HDF5.sh | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -11,6 +11,19 @@ set -e # Abort on errors ################################################################################ +# Check for old mechanism +################################################################################ + +if [ -n "${HDF5}" ]; then + echo 'BEGIN ERROR' + echo "Setting the option \"HDF5\" is incompatible with the HDF5 thorn. Please remove the option HDF5 = ${HDF5}." + echo 'END ERROR' + exit 1 +fi + + + +################################################################################ # Search ################################################################################ |