原始内容
高亮显示
复制内容
#!/bin/sh set -eu if [ $# != 1 ]; then echo "usage: $0 <num-tests>" exit 1 fi dir=$(dirname $0) $dir/build.sh $1 &> /dev/null || true ../summarize.sh $1 &> fails-x.txt cat fails-x.txt wc -l fails-x.txt
您还没有登录,登录后您可以:
首次使用?从这里 注册