diff options
Diffstat (limited to 'scripts/local_mason.sh')
| -rwxr-xr-x | scripts/local_mason.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/local_mason.sh b/scripts/local_mason.sh deleted file mode 100755 index 2d8687a280..0000000000 --- a/scripts/local_mason.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash - -git submodule update --init .mason -PATH=`pwd`/.mason:$PATH -export MASON_DIR=`pwd`/.mason |