Fixed Launcher according to libbatch changes

diff --git a/src/Launcher/Launcher_Job.cxx b/src/Launcher/Launcher_Job.cxx
index f8ce9e6b94fe2c275a2728866f25bdcb6b9501a5..7e8c42fa04a7b204ce7e4377396921c7b1d3d479 100644 (file)
--- a/src/Launcher/Launcher_Job.cxx
+++ b/src/Launcher/Launcher_Job.cxx
@@ -22,6 +22,10 @@
 #include "Launcher_Job.hxx"
 #include "Launcher.hxx"
 
+#ifdef WITH_LIBBATCH
+#include <Batch/Batch_Constants.hxx>
+#endif
+
 Launcher::Job::Job()
 {
   _number = -1;

diff --git a/src/Launcher/Launcher_Job_Command.cxx b/src/Launcher/Launcher_Job_Command.cxx
index 26d6ae9d5381502e47228530b950bfd9f8aeffd8..233cfd5a26f013d015886943c597b934d70c9812 100644 (file)
--- a/src/Launcher/Launcher_Job_Command.cxx
+++ b/src/Launcher/Launcher_Job_Command.cxx
@@ -21,6 +21,10 @@
 //
 #include "Launcher_Job_Command.hxx"
 
+#ifdef WITH_LIBBATCH
+#include <Batch/Batch_Constants.hxx>
+#endif
+
 #ifdef WNT
 #include <io.h>
 #define _chmod chmod

diff --git a/src/Launcher/Launcher_Job_SALOME.cxx b/src/Launcher/Launcher_Job_SALOME.cxx
index 413c2fbac6cb09662262868dcb9d54f251679f85..db787791eb6378553ef4b3716267c6a53d87129d 100644 (file)
--- a/src/Launcher/Launcher_Job_SALOME.cxx
+++ b/src/Launcher/Launcher_Job_SALOME.cxx
@@ -21,6 +21,10 @@
 //
 #include "Launcher_Job_SALOME.hxx"
 
+#ifdef WITH_LIBBATCH
+#include <Batch/Batch_Constants.hxx>
+#endif
+
 #ifdef WNT
 #include <io.h>
 #define _chmod chmod