From 01774b0926834a3b9f6df288a617a747e1e67551 Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 12 Dec 2002 15:03:43 +0000 Subject: [PATCH] [project @ 2002-12-12 15:03:42 by simonmar] Sigh, I thought I could keep this file private to the RTS, but sadly it's needed in order to #include RtsFlags.h, and we advertise RtsFlags.h as a way to tweak flags through defaultsHook(). Oh well. --- ghc/{rts => includes}/Rts.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename ghc/{rts => includes}/Rts.h (98%) diff --git a/ghc/rts/Rts.h b/ghc/includes/Rts.h similarity index 98% rename from ghc/rts/Rts.h rename to ghc/includes/Rts.h index e209a45..af2217c 100644 --- a/ghc/rts/Rts.h +++ b/ghc/includes/Rts.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id$ + * $Id: Rts.h,v 1.21 2002/12/12 15:03:42 simonmar Exp $ * * (c) The GHC Team, 1998-1999 * -- 1.7.10.4