Tue Jun 26 02:58:06 PDT 2007 Tom Shackell <shackell at 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