Index: trunk/Mars/datacenter/scripts/runceres
===================================================================
--- trunk/Mars/datacenter/scripts/runceres	(revision 10041)
+++ trunk/Mars/datacenter/scripts/runceres	(revision 14792)
@@ -1,3 +1,3 @@
-#!/bin/sh
+#!/bin/bash
 #
 # ========================================================================