# $Id$
# $URL$
-function liquid () { [ $(basename $(hostname) .inria.fr) = liquid ] ; }
-function reed () { [ $(basename $(hostname) .inria.fr) = reed ] ; }
-function velvet () { [ $(basename $(hostname) .inria.fr) = velvet ] ; }
+function liquid () { [ $(basename $(hostname) .pl.sophia.inria.fr) = liquid ] ; }
+function reed () { [ $(basename $(hostname) .pl.sophia.inria.fr) = reed ] ; }
+function velvet () { [ $(basename $(hostname) .pl.sophia.inria.fr) = velvet ] ; }
# 2.6.27 kernel on f12
liquid && /root/bin/vbuild-nightly.sh -m build@onelab.eu -d onelab -t onelab-k27-tags.mk -f f12 -p linux32 -b @DATE@--k27-f12-32