FIX optimisation de certaine requête : il faut trier après pas avant, banane !

[euphorik.git] / tools / mise_en_prod.rb

diff --git a/tools/mise_en_prod.rb b/tools/mise_en_prod.rb
index 23c62cb..ae0bb8f 100755 (executable)
--- 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