[update_myconfig] Au revoir hal

diff --git a/update_myconfig.sh b/update_myconfig.sh
index cf697c18602c1c4ab6904f3f9299ccf52ba00063..55f5b47c6926c9351018001ac68a5018391a8dad 100755 (executable)
--- a/update_myconfig.sh
+++ b/update_myconfig.sh
@@ -15,7 +15,7 @@ fi
 
 # Déclaration des machines, dont celles qui dépendent du localmode
 machines_behind_komaz="cerebro bde-test bde3 bde2-virt bde3-virt videobde baldrick zamok rezosup acoeur"
-other_machines="19.dptinfo pimeys quigon hexagon soyouz hal gladys${localmode} cabal${localmode}"
+other_machines="19.dptinfo pimeys quigon hexagon soyouz gladys${localmode} cabal${localmode}"
 
 # On accèdera aux machines derrière komaz via un seul proxy avec une connexion master
 crans_proxy="zamok"