#!/bin/bash
   echo "RetroForth, Release 6.20"
   echo "-----------------------------------------------------------"
   echo "For updates visit http://retro.tunes.org"
   echo "-----------------------------------------------------------"
   cd ports
   cd $1
   . build $2 $3 $4 $5 $6
   cd ../..
   echo "-----------------------------------------------------------"
   echo "Finished!"
