#!/bin/bash

echo prefix=/usr
echo Kernel=`uname -r`
echo
echo Configure options: --all
echo
