diff options
| author | Anup Patel <[email protected]> | 2020-05-01 12:15:50 +0530 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2020-05-04 10:09:51 +0530 |
| commit | 65c06b026db6352f1ff2bdb235f3149e5e99e2ba (patch) | |
| tree | 8f76acb47103d706fd6784e715d5885323fac37b /scripts/create-binary-archive.sh | |
| parent | 13717a8e53a382769e9678f6d9357c20446cde0c (diff) | |
platform: Remove spike directory
The OpenSBI generic platform works perfectly fine on the QEMU spike
machine and Spike emulator so let's remove dedicated Spike platform
from OpenSBI.
All Spike platform related documentation in OpenSBI will now suggest
using OpenSBI generic platform.
Signed-off-by: Anup Patel <[email protected]>
Reviewed-by: Bin Meng <[email protected]>
Reviewed-by: Alistair Francis <[email protected]>
Diffstat (limited to 'scripts/create-binary-archive.sh')
| -rwxr-xr-x | scripts/create-binary-archive.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/create-binary-archive.sh b/scripts/create-binary-archive.sh index 32e53cf9..c19af269 100755 --- a/scripts/create-binary-archive.sh +++ b/scripts/create-binary-archive.sh @@ -107,7 +107,6 @@ build_opensbi() { BUILD_PLATFORM_SUBDIR+=("fpga/openpiton") BUILD_PLATFORM_SUBDIR+=("andes/ae350") BUILD_PLATFORM_SUBDIR+=("thead/c910") - BUILD_PLATFORM_SUBDIR+=("spike") BUILD_PLATFORM_SUBDIR+=("generic") ;; *) |