From 0dab69b5519499f7bee7d85188ebe5628957a507 Mon Sep 17 00:00:00 2001
From: Joshua Boniface <joshua@boniface.me>
Date: Mon, 21 Jan 2019 01:42:25 -0500
Subject: [PATCH] Use basename for cross-platform operation

Trying to sed out the deployment/ failed on MacOS, so use the
basename command instead for the same effect.
---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
index c2daddd84a..b922cf72a9 100755
--- a/build
+++ b/build
@@ -10,7 +10,7 @@ declare -a actions=( 'build' 'package' 'sign' 'publish' )
 
 # The list of possible platforms, based on directories under 'deployment/'
 declare -a platforms=( $(
-    find deployment/ -maxdepth 1 -mindepth 1 -type d | sed 's/deployment\///' | sort
+    find deployment/ -maxdepth 1 -mindepth 1 -type d -exec basename {} \; | sort
 ) )
 
 # The list of standard dependencies required by all build scripts; individual