Ignatios Souvatzis wrote:

> Module Name:	syssrc
> Committed By:	is
> Date:		Mon Sep 20 09:22:48 UTC 1999
> 
> Modified Files:
> 
> 	basesrc/lib/libc/arch/arm32/gen: divsi3.S
> 	syssrc/sys/lib/libkern/arch/arm32: divsi3.S
> 
> Log Message:
> 
> Use an identical source file for the libc and the libkern version of
> divsi3.S, conditionally compiling the divide by zero case. This way,
> after a change to the one, we can just copy it over to update the other
> without creating ... problems. By Chris G.  Demetriou.

I've had a quick peek through libkern and there doesn't appear to bethat
much that is wildly different between libc and libkern, and it doesn't
seem like that much work to make a "update-sources" target ala what libz
currently has.  Any interest in my actually doing this?

Simon.