15 lines
400 B
Batchfile
15 lines
400 B
Batchfile
@echo off
|
|
@setlocal
|
|
SETLOCAL
|
|
if [%1] == [r] (
|
|
set build_type=release
|
|
) else (
|
|
set build_type=debug
|
|
)
|
|
echo %build_type%
|
|
if "%SPARKVM_PORT%"=="" set SPARKVM_PORT=22
|
|
python %~dp0\replicator\replicate_to_linux_vm.py
|
|
echo.
|
|
ssh bts@sparkvm -p %SPARKVM_PORT% -o StrictHostKeyChecking=no -t "cd /home/bts/spark/build/gcc/%build_type%/ && touch ../../../CMakeLists.txt && time ninja"
|
|
ENDLOCAL
|