Index: /tools/config-node.sh
===================================================================
--- /tools/config-node.sh	(revision 4988)
+++ /tools/config-node.sh	(revision 4989)
@@ -317,7 +317,10 @@
 fi
 
-if [ ! -z ${QUIET} -a -z ${nodename} ]; then
-	nodename=${default}
-fi
+if [ ! -z ${QUIET} ]; then
+	if [ -z ${nodename} ]; then
+		nodename=${default}
+	fi
+fi
+
 
 nlist=${TMPPREFIX}.l