#!/bin/sh

# Dummy file to make configure happy.  <shrug>

exit 0