diff options
Diffstat (limited to 'gnu/lib/libgmp')
-rw-r--r-- | gnu/lib/libgmp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/lib/libgmp/Makefile b/gnu/lib/libgmp/Makefile index 0edaf2c..4621b00 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.17 1998/05/15 06:42:01 jb Exp $ +# $Id: Makefile,v 1.18 1998/05/24 21:51:50 eivind Exp $ # LIB= gmp @@ -96,7 +96,7 @@ SRCS+=$(_src) SRCS+= ${MPZ_SRCS} ${MPF_SRCS} ${MPQ_SRCS} -.if defined(BINFORMAT) && ${BINFORMAT} == elf +.if defined(OBJFORMAT) && ${OBJFORMAT} == elf sysdep.h: ${GMPDIR}/mpn/sysv.h cp ${GMPDIR}/mpn/sysv.h sysdep.h |