Skip to main content

Browse the archive

swh:1:snp:f50ab94432af916b5fb8b4ad831e8dddded77084
Raw File
Tip revision: 8c3107208caf9c0827b285d3e5a183ec609730f5 authored by Vadim Mazalov on 04 December 2018, 03:36:18 UTC
StableTanh
Tip revision: 8c31072
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