#!/bin/bash
CORE=`pwd`/`dirname $0`"/core"
EXTRA=`pwd`/`dirname $0`"/extra"
cd && `which scion` "-p $CORE -p $EXTRA" $*