diff --git a/plugins_install/diehard.sh b/plugins_install/diehard.sh index f263234497461a803666190bf238341e162de758..0da1d37b39ed247dc15bff4859978d438c39ee09 100755 --- a/plugins_install/diehard.sh +++ b/plugins_install/diehard.sh @@ -28,12 +28,12 @@ if [ -z "$seq" ]; then cp $CFAR_HOME/DieHard/src/libdiehard.so libheaprand.so else if [ ! -f $CFAR_HOME/DieHard/src/libdiehard-4k.so ]; then - echo "ERROR: DieHard library not built/found" | tee warning.txt + echo "ERROR: DieHard library 4k not built/found" | tee warning.txt exit 1 fi if [ ! -f $CFAR_HOME/DieHard/src/libdiehard-32k.so ]; then - echo "ERROR: DieHard library not built/found" | tee warning.txt + echo "ERROR: DieHard library 32k not built/found" | tee warning.txt exit 1 fi