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