#!/bin/csh -f

if ($#argv < 2) then
  set foo = "$0"
  echo "Usage: $foo:t dest-dir files to release"
  echo "Specifying an object file will release the correspoding source."
  exit 2
endif

set dest = $1
shift

foreach file ($argv:q)
  switch ($file:e)
    case "":
      set dfile = $file
      breaksw
    case oa:
    case oak:
      set dfile = "$file:r.oak"
      breaksw
    case o:
    case c:
      set dfile = "$file:r.c"
      breaksw
    case mobj:
    case mo:
    case t:
      set dfile = "$file:r.t"
      breaksw
    default:
      set dfile = $file
      breaksw
  endsw
  copy -l $dfile $dest/$dfile
end
