#/bin/csh
set cplib=/b/carl/DDO/LIB/libc
pushd $cplib
foreach file ( *.c )
 pushd >&/dev/null
 @ foo = 0
 foreach dir ( * )
  if ( -d $dir ) then
   if ( -e $dir/$file ) then
    @ foo=1
    echo cp $cplib/$file $dir
    cp $cplib/$file $dir
   endif
  endif
 end
 if ( ! $foo ) cp $cplib/$file unknown
 if ( ! $foo ) echo cp $cplib/$file unknown
 pushd >&/dev/null
end
popd

set cplib=/b/carl/DDO/LIB/libm
pushd $cplib
foreach file ( *.c )
 pushd >&/dev/null
 @ foo = 0
 foreach dir ( * )
  if ( -d $dir ) then
   if ( -e $dir/$file ) then
    @ foo=1
    cp $cplib/$file $dir
    echo cp $cplib/$file $dir
   endif
  endif
 end
 if ( ! $foo ) cp $cplib/$file unknown
 if ( ! $foo ) echo cp $cplib/$file unknown
 pushd >&/dev/null
end
popd
