#!/bin/bash
#-*-sh-*-

echo "Configure does nothing for now."