aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorAman Goel <amangoel@umich.edu>2018-07-04 15:14:28 -0400
committerAman Goel <amangoel@umich.edu>2018-07-04 15:14:28 -0400
commit4d343fc1cdafe469484846051680ca0b1f948549 (patch)
tree2847b1045fbf06420cfdce3ccf8bae1346d8c5b3 /tests
parent6e63df6dd08fe424f46039d26f9f238ac1cb4494 (diff)
parent8b92ddb9d2635c30636b17ff3d24bc09a44b8551 (diff)
downloadyosys-4d343fc1cdafe469484846051680ca0b1f948549.tar.gz
yosys-4d343fc1cdafe469484846051680ca0b1f948549.tar.bz2
yosys-4d343fc1cdafe469484846051680ca0b1f948549.zip
Merging with official repo
Diffstat (limited to 'tests')
-rwxr-xr-xtests/tools/autotest.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index 31a6ae8ab..d6216244f 100755
--- a/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@ -100,7 +100,7 @@ do
echo -n "Test: $bn "
fi
- rm -f ${bn}.{err,log,sikp}
+ rm -f ${bn}.{err,log,skip}
mkdir -p ${bn}.out
rm -rf ${bn}.out/*