Searched refs:CONFIG_INT (Results 1 – 1 of 1) sorted by relevance
16 CONFIG_INT?= config.int macro22 . if !exists(${CONFIG_INT})25 . include "${CONFIG_INT}"48 echo PREFIX= ${PREFIX} > ${CONFIG_INT}49 echo SYSDIR=${SYSDIR} >> ${CONFIG_INT}50 echo KMODDIR=${KMODDIR} >> ${CONFIG_INT}51 echo SINGLEKLD=yes >> ${CONFIG_INT}53 echo ENCRYPTED_PASSWD=yes >> ${CONFIG_INT}56 echo SMP=yes >> ${CONFIG_INT}85 rm -f ${CONFIG_INT}