Module Name:	pkgsrc
Committed By:	jtb
Date:		Fri Jul 11 07:47:45 UTC 2003

Modified Files:
	pkgsrc/lang/ocaml: distinfo
	pkgsrc/lang/ocaml/patches: patch-ah patch-aj

Log Message:
Remove unnecessary register store in the profiling prologue.


To generate a diff of this commit:
cvs rdiff -r1.11 -r1.12 pkgsrc/lang/ocaml/distinfo
cvs rdiff -r1.2 -r1.3 pkgsrc/lang/ocaml/patches/patch-ah
cvs rdiff -r1.1 -r1.2 pkgsrc/lang/ocaml/patches/patch-aj

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.