1 files changed, 3 insertions, 1 deletions

diff --git a/ship/build b/ship/build
index 95c14699..5863e325 100755
--- a/ship/build
+++ b/ship/build
@@ -181,4 +181,6 @@ buildcache_add() {
 ### main invocation
 ###
 
-build "$@"
+if echo "$0" | grep -q '^\(.*/\)\?build$'; then
+  build "$@"
+fi