#! /bin/csh -f
# Last edited on 2003-07-07 11:04:16 by stolfi

set dt = `yyyy-mm-dd-hhmmss`
set cprogs = /home/simoleo/ra014852/projeto/programs

# Save current local copy:
tar -cvzf save/$dt.tgz progs/{*.{c,h},Makefile} tests/*/Makefile

# Save differences between local copy and claudio's version:
diff -r progs ${cprogs} \
  | prettify-diff-output \
  > ${dt}.diff

# Copy claudio's sources if newer than mine:
cp -avu  ${cprogs}/{*.{c,h},Makefile} progs

# List differences (where my progs are newer than claudio):
diff -r progs ${cprogs} \
  | prettify-diff-output \
  > .progs.diff

cat .progs.diff