mirror of
https://github.com/VSadov/Satori.git
synced 2025-06-08 03:27:04 +09:00
Add windows support for build.sh (#94)
This commit is contained in:
parent
912f082316
commit
7783fd547b
1 changed files with 18 additions and 1 deletions
19
build.sh
19
build.sh
|
@ -2,6 +2,15 @@
|
||||||
|
|
||||||
source="${BASH_SOURCE[0]}"
|
source="${BASH_SOURCE[0]}"
|
||||||
|
|
||||||
|
function is_cygwin_or_mingw()
|
||||||
|
{
|
||||||
|
case $(uname -s) in
|
||||||
|
CYGWIN*) return 0;;
|
||||||
|
MINGW*) return 0;;
|
||||||
|
*) return 1;;
|
||||||
|
esac
|
||||||
|
}
|
||||||
|
|
||||||
# resolve $SOURCE until the file is no longer a symlink
|
# resolve $SOURCE until the file is no longer a symlink
|
||||||
while [[ -h $source ]]; do
|
while [[ -h $source ]]; do
|
||||||
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
||||||
|
@ -13,4 +22,12 @@ while [[ -h $source ]]; do
|
||||||
done
|
done
|
||||||
|
|
||||||
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
||||||
"$scriptroot/eng/build.sh" $@
|
|
||||||
|
if is_cygwin_or_mingw; then
|
||||||
|
# if bash shell running on Windows (not WSL),
|
||||||
|
# pass control to powershell build script.
|
||||||
|
scriptroot=$(cygpath -d "$scriptroot")
|
||||||
|
powershell -c "$scriptroot\\build.cmd" $@
|
||||||
|
else
|
||||||
|
"$scriptroot/eng/build.sh" $@
|
||||||
|
fi
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue