#!/bin/bash
GASNET_SPAWNFN=L GASNET_ROUTE_OUTPUT=0 GASNET_QUIET=Y GASNET_MASTERIP=127.0.0.1 GASNET_WORKERIP=127.0.0.0 CHPL_RT_OVERSUBSCRIBED=yes exec "$@"
