diff options
| author | ruki <[email protected]> | 2020-10-29 00:23:08 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-10-29 00:23:08 +0800 |
| commit | b130fe8d962493ec230477372f6590d9648dcfb8 (patch) | |
| tree | af466d9e0aa44431ed52f5124738e8fe5aaca68b /scripts | |
| parent | 8c5cae770fc34871240575ef8029d5f0f8b364da (diff) | |
improve xrepo.sh
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/xrepo.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/scripts/xrepo.sh b/scripts/xrepo.sh index aa9ca3da3..8d745562e 100755 --- a/scripts/xrepo.sh +++ b/scripts/xrepo.sh @@ -1,7 +1,5 @@ -#!/usr/bin/env sh -SCRIPT=$(readlink -f "$0") -BASEDIR=$(dirname "$SCRIPT") -echo $BASEDIR +#!/usr/bin/env bash +BASEDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" if [ -f "$BASEDIR/xmake" ]; then $BASEDIR/xmake lua private.xrepo "$@" else |
