diff options
author | imp <imp@FreeBSD.org> | 2010-12-28 22:49:28 +0000 |
---|---|---|
committer | imp <imp@FreeBSD.org> | 2010-12-28 22:49:28 +0000 |
commit | 7530d2b97670e8ffca6b33c204484eb17c0ef710 (patch) | |
tree | 5e7e70bf668171107f9ede90883264e0123a91e4 /sys/conf | |
parent | fdd4426c6aa18e96679ef9ec7c397339f1a18686 (diff) | |
download | FreeBSD-src-7530d2b97670e8ffca6b33c204484eb17c0ef710.zip FreeBSD-src-7530d2b97670e8ffca6b33c204484eb17c0ef710.tar.gz |
MIPS has lots of flavors as well
Diffstat (limited to 'sys/conf')
-rw-r--r-- | sys/conf/makeLINT.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/conf/makeLINT.mk b/sys/conf/makeLINT.mk index 049d63b..e5ac221 100644 --- a/sys/conf/makeLINT.mk +++ b/sys/conf/makeLINT.mk @@ -17,6 +17,6 @@ LINT: ${NOTES} ../../conf/makeLINT.sed echo "ident ${.TARGET}-VIMAGE" >> ${.TARGET}-VIMAGE echo "options VIMAGE" >> ${.TARGET}-VIMAGE .endif -.if ${TARGET} == "powerpc" +.if ${TARGET} == "powerpc" || ${TARGET} == "mips" echo "machine ${TARGET} ${TARGET_ARCH}" >> ${.TARGET} .endif |