#!/bin/tcsh

set SP = $1

spatch_linux $SP -mod_distrib $2 $3 $4 $5 $6 $7 $8 $9