patch applied (yhc): Added a NO_SHARED flag to platform.h that should make shared libraries optional
26 Jun
2007
26 Jun
'07
9:58 a.m.
Tue Jun 26 02:58:06 PDT 2007 Tom Shackell <shackell@cs.york.ac.uk> * Added a NO_SHARED flag to platform.h that should make shared libraries optional M ./src/runtime/BCKernel/external.c -1 +15 M ./src/runtime/BCKernel/platform.h -2 +3
6956
Age (days ago)
6956
Last active (days ago)
0 comments
1 participants
participants (1)
-
Neil Mitchell