Linux: Use DESTDIR as configure --prefix option

[ipc/ipcdev.git] / ipc-bios.bld

diff --git a/ipc-bios.bld b/ipc-bios.bld
index 22f7681bbbf1975b9369d31de8b6079d32fd5c29..1dc417a90fe97f93a825acff26cf6283791bc695 100644 (file)
--- a/ipc-bios.bld
+++ b/ipc-bios.bld
@@ -190,20 +190,20 @@ for (arg = 0; arg < arguments.length; arg++) {
 
     if (targetName.match(/elf\.C66$/)) {
         switch (platform) {
-            case 'C66AK2E':
-                target.platforms.$add("ti.platforms.evmC66AK2E");
+            case '66AK2E':
+                target.platforms.$add("ti.platforms.evmC66AK2E:core0");
                 break;
 
             case 'TCI6630':
-                target.platforms.$add("ti.platforms.evmTCI6630K2L");
+                target.platforms.$add("ti.platforms.evmTCI6630K2L:core0");
                 break;
 
             case 'TCI6636':
-                target.platforms.$add("ti.platforms.evmTCI6636K2H");
+                target.platforms.$add("ti.platforms.evmTCI6636K2H:core0");
                 break;
 
             case 'TCI6638':
-                target.platforms.$add("ti.platforms.evmTCI6638K2K");
+                target.platforms.$add("ti.platforms.evmTCI6638K2K:core0");
                 break;
 
             case 'DRA7XX':