#!/bin/bash

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