index ef39be840aa0260e4e99284bb3e74c03a558ccbe..2569eaebc4ba135c6618b4ae7d687af20ced0301 100644 (file)
return ""; /* nothing to contribute */
}
- if (prog.platformName.match(/ipu/)) {
+ BIOS = xdc.module('ti.sysbios.BIOS');
+ if ((BIOS != undefined) && BIOS.smpEnabled) {
smp = "_smp";
}