From 98908994e0648374218aa07e3204cae0ce44df64 Mon Sep 17 00:00:00 2001 From: ruki Date: Fri, 23 Oct 2020 23:23:23 +0800 Subject: improve xrepo scripts --- scripts/srcenv.profile | 2 +- scripts/xrepo | 2 -- scripts/xrepo.sh | 2 ++ 3 files changed, 3 insertions(+), 3 deletions(-) delete mode 100755 scripts/xrepo create mode 100755 scripts/xrepo.sh (limited to 'scripts') diff --git a/scripts/srcenv.profile b/scripts/srcenv.profile index 1bbc4d762..ead66b4f8 100755 --- a/scripts/srcenv.profile +++ b/scripts/srcenv.profile @@ -5,7 +5,7 @@ if [ -f `pwd`/core/build/xmake ]; then else alias xmake=`pwd`/core/src/demo/demo.b fi -alias xrepo=`pwd`/scripts/xrepo +alias xrepo=`pwd`/scripts/xrepo.sh xmake --version xmake l xmake.programdir xmake l xmake.programfile diff --git a/scripts/xrepo b/scripts/xrepo deleted file mode 100755 index 2997cf59e..000000000 --- a/scripts/xrepo +++ /dev/null @@ -1,2 +0,0 @@ -#!/usr/bin/env sh -xmake lua private.xrepo "$@" diff --git a/scripts/xrepo.sh b/scripts/xrepo.sh new file mode 100755 index 000000000..2997cf59e --- /dev/null +++ b/scripts/xrepo.sh @@ -0,0 +1,2 @@ +#!/usr/bin/env sh +xmake lua private.xrepo "$@" -- cgit v1.3.1