Skip to main content

Browse the archive

swh:1:snp:f50ab94432af916b5fb8b4ad831e8dddded77084
Raw File
Tip revision: e66d3a92cffda3ef23b9a78e6f080b7989201cc3 authored by Vadim Mazalov on 04 December 2018, 03:36:18 UTC
StableTanh
Tip revision: e66d3a9
run-test 
#!/bin/bash

SCRIPTSDIR=$TEST_ROOT_DIR/../../Scripts

pushd $SCRIPTSDIR
echo Current dir: $SCRIPTSDIR

py.test

if [ "$?" -eq "0" ]; then
  echo "__COMPLETED__"
fi

popd
back to top