#!/bin/sh

TARGET=$1

if [ "X$TARGET" == "X" ]; then
    echo Usage: `basename $0` target_name
    exit
fi

if [ -d machine/$TARGET ]; then
    rm -f crt0.S inflate_boot.ld
    ln -s machine/$TARGET/crt0.S crt0.S
    ln -s machine/$TARGET/inflate_boot.ld inflate_boot.ld
else
    echo unknown taget \"$TARGET\"
fi
