#! /bin/csh -f # Last edited on 2001-11-02 00:20:36 by stolfi set usage = "$0" set cmd = $0 echo "=== begin ${cmd:t} ===" echo "${cmd:t} $*" # Runs PZBoundary on the fragment images produced by run-PZSplitExt if ( $#argv != 0 ) then echo "usage: ${usage}"; exit 1 endif set firstFrag = 0000 set lastFrag = 0402 set path = ( \ ${STOLFIHOME}/programs/pm3-1.1.15/THESES/hcgl/1/bin/${PLATFORM} \ ${cmd:h} \ ${path} \ ) run-PZBoundary-band ${firstFrag} ${lastFrag} echo "=== end ${cmd:t} ========="