#!/bin/bash -e

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
export LD_LIBRARY_PATH=$DIR/../build/src:$LD_LIBRARY_PATH
$DIR/../build/tools/dumpsubs $*