X-Git-Url: http://git.euphorik.ch/?p=euphorik.git;a=blobdiff_plain;f=tools%2Fmise_en_prod.rb;h=ae0bb8f09980b6fbca3aecc539cee976d4d0da64;hp=23c62cb9b864046f90e653e663416773a8672114;hb=08193845f5b45402b85977911dbd0693a4d183de;hpb=c021866458e347a8c704217247ba207ad99c5cb7

diff --git a/tools/mise_en_prod.rb b/tools/mise_en_prod.rb
index 23c62cb..ae0bb8f 100755
--- a/tools/mise_en_prod.rb
+++ b/tools/mise_en_prod.rb
@@ -33,6 +33,10 @@ end
 # Compilation de la partie serveur
 Dir.chdir('../modules')
 puts `make`
+if $?.exitstatus != 0
+   puts "Echec de compilation de la partie serveuse"
+   exit 1
+end
 Dir.chdir('..')
 
 # création du repertoire BD