#!/bin/bash

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