diff --git a/Jenkinsfile b/Jenkinsfile
index 12f4a65..4c9dc16 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,15 +13,15 @@ pipeline {
 					}
 
 					environment {
-						/* General flags */
+						//General flags
 						CXX_FLAGS = ''
 						C_FLAGS = ''
 
-						/* CMake specific flags */
+						//CMake specific flags
 						CMAKE_OPTIONS = ''
 						CMAKE_MAKE_OPTIONS = ''
 
-						/* Make specific flags */
+						//Make specific flags
 						MAKE_OPTIONS = ''
 					}
 
@@ -55,15 +55,15 @@ pipeline {
 					}
 
 					environment {
-						/* General flags */
+						//General flags
 						CXX_FLAGS = ''
 						C_FLAGS = ''
 
-						/* CMake specific flags */
+						//CMake specific flags
 						CMAKE_OPTIONS = ''
 						CMAKE_MAKE_OPTIONS = ''
 
-						/* Make specific flags */
+						//Make specific flags
 						MAKE_OPTIONS = ''
 					}