#!/bin/bash

pushd `dirname $0`
devtools/bin/vpc /hl2 /episodic +game /mksln games
popd
