diff options
Diffstat (limited to '')
| -rw-r--r-- | gc/README.dj | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gc/README.dj b/gc/README.dj deleted file mode 100644 index 613bc42..0000000 --- a/gc/README.dj +++ /dev/null @@ -1,12 +0,0 @@ -[Original version supplied by Xiaokun Zhu <xiaokun@aero.gla.ac.uk>] -[This version came mostly from Gary Leavens. ] - -Look first at Makefile.dj, and possibly change the definitions of -RM and MV if you don't have rm and mv installed. -Then use Makefile.dj to compile the garbage collector. -For example, you can do: - - make -f Makefile.dj test - -All the tests should work fine. - |