#! /bin/csh -f
# File  remove-ct-piks
#last modified on Sat Aug 18 23:26:38 PDT 1990 by stolfi
#================================================
set junkfiles = ( \
  nAdditionNodeComputeHits \
  nAtomComputeHits \
  nCSGNodeComputeHits \
  nCSGNodeNewHits \
  nCSGNodeOldHits \
  nComputeIllumination \
  nComputeShadowing \
  nComputeSolidHitTrans \
  nHitListAlloc \
  nHitListReclaimed \
  nHitListTableRehash \
  nPrimComputeHits \
  nPrimComputeTangentPlane \
  nRays \
  nRenderHit \
  nRenderSolidHit \
  nRenderSurfaceHit \
  nShadowingFound \
  nTileListComputeHits \
  nTileListTableRehash \
  nUnionNodeComputeHits \
  nUnionNodeNew \
  nUnionNodeOld \
  timeRenderingPhase \
  timeTilingPhase \
)
foreach f ( $junkfiles )
echo -n $f': '
( rm -f *-ct-$f.pik && echo 'removed ' )
end