Revision c0f12bb6f3ea8f1350371695b42990a5c2eb93f2 authored by Giuseppe Attardi on 02 March 1998, 23:00 UTC, committed by CMM Curation Team on 11 December 2019, 14:35 UTC
Contributors mentioned in Changelog :
 - Giuseppe Attardi @attardi
 - Tito Flagella @tflagella
 - Pietro Iglio
1 parent 55778ad
Raw File
version-update
#!/bin/sh
#----------------------------------------------------------------------
# Usage:
# version-update ~/posso/cmm
# ----------------------------------------------------------------------
set -a
CMMDIR=/project/posso/cmm/curr
PATCHN=`cat ${CMMDIR}/patch/number`
echo '(@ PATCHN = ${PATCHN} + 1 ; unset noclobber ; \
	echo  ${PATCHN} > ${CMMDIR}/patch/number)' | /bin/csh ;
mkdir backup backup/doc
mv $1/*~ backup
mv $1/doc/*~ backup/doc
diff -c $1 ${CMMDIR}/cmm > ${CMMDIR}/patch/patch-${PATCHN}
cp -pr $1 ${CMMDIR}
mv backup/*~ $1
mv backup/doc/*~ $1/doc
rm -fr backup
back to top