From d5b7bca219c759fc95f2499a5790a8c6eb2fd8e6 Mon Sep 17 00:00:00 2001 From: Yann Pfau-Kempf Date: Thu, 22 Aug 2024 15:52:01 +0300 Subject: [PATCH] Update Makefile.github_actions Removed a duplicate include line. Removed a duplicate include line. --- MAKE/Makefile.github_actions | 1 - 1 file changed, 1 deletion(-) diff --git a/MAKE/Makefile.github_actions b/MAKE/Makefile.github_actions index 55205e429..5dd10cf33 100644 --- a/MAKE/Makefile.github_actions +++ b/MAKE/Makefile.github_actions @@ -82,7 +82,6 @@ INC_TOPO = # Works without but as an example: arch-specific INCLUDE paths be like this: INC_DCCRG = -I${GITHUB_WORKSPACE}/submodules/dccrg -INC_EIGEN = -I${GITHUB_WORKSPACE}/submodules/eigen INC_FSGRID = -I${GITHUB_WORKSPACE}/submodules/fsgrid INC_VECTORCLASS = -isystem ${GITHUB_WORKSPACE}/submodules/vectorclass/ -isystem ${GITHUB_WORKSPACE}/submodules/vectorclass-addon/vector3d/ INC_EIGEN = -isystem ${GITHUB_WORKSPACE}/submodules/eigen/