#!/bin/bash

pushd `dirname $0`
devtools/bin/vpc /f /hl2 +everything /mksln everything
popd