#!/bin/sh

. config/options $1

mkdir -p $INSTALL/usr/bin
  cp $PKG_BUILD/objdir/$1/$1 $INSTALL/usr/bin
  cp $PKG_BUILD/objdir/$1/gdbserver/gdbserver $INSTALL/usr/bin
  cp $PKG_BUILD/objdir/$1/gdbserver/gdbreplay $INSTALL/usr/bin
