diff options
Diffstat (limited to 'gnu/usr.bin/cc/Makefile.inc')
-rw-r--r-- | gnu/usr.bin/cc/Makefile.inc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/usr.bin/cc/Makefile.inc b/gnu/usr.bin/cc/Makefile.inc index f18c278..d7badd3 100644 --- a/gnu/usr.bin/cc/Makefile.inc +++ b/gnu/usr.bin/cc/Makefile.inc @@ -1,5 +1,5 @@ # -# $Id$ +# $Id: Makefile.inc,v 1.4 1994/09/18 22:35:36 wollman Exp $ # CFLAGS+= -I${.CURDIR} -I${.CURDIR}/../include @@ -19,4 +19,8 @@ LIBDESTDIR= ${.CURDIR}/../cc_int # XXX LDDESTDIR isn't a directory and there is no standard name for the dir LDDESTDIR= -L${LIBDESTDIR} +.if !defined(NO_SHARED_LIBCC_INT) LIBCC_INT= ${LIBDESTDIR}/libcc_int.so.26.0 +.else +LIBCC_INT= ${LIBDESTDIR}/libcc_int.a +.endif |