diff --git a/dev b/dev
index 326cd357d9f4..292bd8fbfdbc 100755
--- a/dev
+++ b/dev
@@ -27,7 +27,7 @@ if [[ ! -f "$BINARY_PATH" ]]; then
     chmod a+w $BINARY_PATH
 fi
 
-source "$(dirname "${0}")/tools/claim_output_base.sh"
+source "$(dirname "${0}")/tools/claim_output_base.sh" || true
 
 cd $THIS_DIR
 $BINARY_PATH "$@"