PR: mistake on merge

diff --git a/src/Batch/Makefile.am b/src/Batch/Makefile.am
index 91f83a2202116eeaa57d0a4cb84daed583920a96..1daa34180e89331b735e60a02337570faf730e14 100644 (file)
--- a/src/Batch/Makefile.am
+++ b/src/Batch/Makefile.am
@@ -69,7 +69,7 @@ LIB_INCLUDES = \
        Batch_FactBatchManager_ePBS.hxx \
        Batch_JobInfo_ePBS.hxx \
        MpiImpl.hxx \
-       Batch_Defines.hxx
+       Batch_Defines.hxx \
        Batch_BatchManager_eSGE.hxx \
        Batch_FactBatchManager_eSGE.hxx \
        Batch_JobInfo_eSGE.hxx \