#!/bin/sh -e
# Automatically inserted by debstd
if [ "$1" = "configure" ]; then
	ldconfig
fi
