#!/bin/sh
#
#  $Id$
#
#  If $PC_SET_VALIDATED is set, then update validated.dat
#  Otherwise, don't do anything.
#  This script is used by auto-test and pc_auto-test.
#
if [ ${PC_SET_VALIDATED:-0} != "0" ]; then
  cd ${PENCIL_HOME}/src
  svn info | awk '/^.*? Rev:\s*(.*)$/{print $4}' > /tmp/pc_current_revision.dat
fi