From 3e50393e32f861452ec5092d938988392a0a02b9 Mon Sep 17 00:00:00 2001 From: Rafael Sachetto Date: Thu, 14 Mar 2024 15:18:15 -0300 Subject: [PATCH] Small correction in the build system --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 7ea673a7..ee60eb6e 100755 --- a/build.sh +++ b/build.sh @@ -120,7 +120,7 @@ GET_LINUX_VERSION echo -e "${INFO}Linux version: ${OS}-${VER}" -if [ -n "$COMPILE_SIMULATOR" ] || [ -n "$COMPILE_BATCH" ]; then +if [ -n "$COMPILE_SIMULATOR" ] || [ -n "$COMPILE_MPI" ]; then if [ -z "$DISABLE_CUDA" ]; then FIND_CUDA