diff options
Diffstat (limited to 'ghc')
| -rw-r--r-- | ghc/includes/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile index d9c2d1eca7..19471af94b 100644 --- a/ghc/includes/Makefile +++ b/ghc/includes/Makefile @@ -1,5 +1,5 @@ # ----------------------------------------------------------------------------- -# $Id: Makefile,v 1.12 2000/08/02 14:13:27 rrt Exp $ +# $Id: Makefile,v 1.13 2000/08/07 16:07:53 rrt Exp $ # TOP = .. @@ -15,6 +15,8 @@ H_FILES = $(filter-out gmp.h,$(wildcard *.h)) gmp.h # H_CONFIG = config.h +boot :: gmp.h + all :: $(H_CONFIG) NativeDefs.h # gmp.h is copied from the GMP directory |