#!/bin/sh

echo prefix=/usr
echo Kernel=`uname -r`
echo
echo Configure options: --default $configure_options
echo
