From ec42892f5c43ec69588c66ea3524bc7f5753619b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Konstantin=20Ka=CC=88fer?= Date: Fri, 31 Oct 2014 17:38:34 -0400 Subject: [PATCH] add to $PATH instead of using aliases --- scripts/local_mason.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/scripts/local_mason.sh b/scripts/local_mason.sh index d51b2e36b..2d8687a28 100755 --- a/scripts/local_mason.sh +++ b/scripts/local_mason.sh @@ -1,8 +1,5 @@ #!/usr/bin/env bash -shopt -s expand_aliases - git submodule update --init .mason - -alias mason=`pwd`/.mason/mason +PATH=`pwd`/.mason:$PATH export MASON_DIR=`pwd`/.mason