#!/bin/bash

echo OSTYPE = $OSTYPE > config.in
echo HOSTTYPE = $HOSTTYPE >> config.in