#!/bin/csh -f

if ($#argv < 1) then
    echo "Usage: $0 <name of the pkg, e.g., USER>"
    exit 1
    endif

set PKG = $argv[1]

if ( ! { /usr/ucb/cmp -s ${PKG}.pth ${PKG}_types.pth } ) then
  cp -f ${PKG}.pth ${PKG}_types.pth;
  rm -f ../specs.c ../specs.o;
endif

if ( ! { /usr/ucb/cmp -s ${PKG}.data ${PKG}_types.data } ) then
  cp -f ${PKG}.data ${PKG}_types.data;
  echo "changes to ${PKG} types: forcing rebuild of fe_builtins.data"
  rm -f ../boot/fe_builtins.data.cpp;
endif

