提交 f8220f05 authored 作者: Frederic's avatar Frederic

Keep quoted space in argument passing

上级 605ee468
#!/bin/bash #!/bin/bash
date date
START=`date +%s` START=`date +%s`
ARGS=$@ ARGS="$@"
PROFILING="" PROFILING=""
RELEASE="" RELEASE=""
if [ "$1" == "--release" ]; then if [ "$1" == "--release" ]; then
RELEASE="True" RELEASE="True"
shift shift
ARGS=$@ ARGS="$@"
fi fi
if [ "$1" == "--buildbot" ]; then if [ "$1" == "--buildbot" ]; then
shift shift
ARGS=$@ ARGS="$@"
#we set the compiledir to the /Tmp dir to make the test faster by bypassing the nfs network. #we set the compiledir to the /Tmp dir to make the test faster by bypassing the nfs network.
COMPILEDIR=/Tmp/lisa_theano_compile_dir_theano COMPILEDIR=/Tmp/lisa_theano_compile_dir_theano
ROOT_CWD=/Tmp/nightly_build ROOT_CWD=/Tmp/nightly_build
......
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论