You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 lines
195 B
10 lines
195 B
9 months ago
|
#! /bin/bash
|
||
|
|
|
||
|
|
# TODO: remove this file once Rerun has interface to set log message level
|
||
|
|
set -e
|
||
|
|
|
||
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
|
||
|
|
|
||
|
|
RUST_LOG=warn $DIR/run.py $@
|
||
|
|
|