diff options
Diffstat (limited to 'gnu/lib/libmp/Makefile')
-rw-r--r-- | gnu/lib/libmp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/lib/libmp/Makefile b/gnu/lib/libmp/Makefile index 433b187..f0c1eec 100644 --- a/gnu/lib/libmp/Makefile +++ b/gnu/lib/libmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.14 1998/03/12 13:03:06 bde Exp $ +# $Id: Makefile,v 1.15 1998/05/15 06:42:37 jb Exp $ # LIB= mp @@ -62,7 +62,7 @@ SRCS+= ${MPBSD_SRCS} beforedepend all: mpz -.if defined(BINFORMAT) && ${BINFORMAT} == elf +.if defined(OBJFORMAT) && ${OBJFORMAT} == elf sysdep.h: ${GMPDIR}/mpn/sysv.h cp ${GMPDIR}/mpn/sysv.h sysdep.h |