From 584ffc95c75751a4232e16febcfa625ba0384788 Mon Sep 17 00:00:00 2001
From: Giacomo Fiorin <giacomo.fiorin@gmail.com>
Date: Sun, 20 Aug 2023 11:56:07 +0200
Subject: [PATCH] More robust way to identify GROMACS source tree

---
 devel-tools/compile-gromacs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel-tools/compile-gromacs.sh b/devel-tools/compile-gromacs.sh
index e20e37cec..788a345ae 100755
--- a/devel-tools/compile-gromacs.sh
+++ b/devel-tools/compile-gromacs.sh
@@ -21,7 +21,7 @@ compile_gromacs_target() {
     fi
 
     local GMX_SRC_DIR=""
-    if [ -f "${1}/src/gromacs/commandline.h" ] ; then
+    if [ -d "${1}/src/gromacs" ] ; then
         GMX_SRC_DIR=$(realpath "${1}")
         shift
     else