#!/bin/sh
#
# make linux release version 
make -fmlinux.mak $1 $2 $3 $4 $5 $6 $7 $8 $9
  
