Update Makefile.github_actions

Removed a duplicate include line. Removed a duplicate include line.
lkotipal · Aug 22, 2024 · d5b7bca · d5b7bca
1 parent 79c6fb7
commit d5b7bca
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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/