aboutsummaryrefslogtreecommitdiffstats
path: root/guidelines/Checklists
diff options
context:
space:
mode:
authorClaire Xen <claire@clairexen.net>2023-01-11 16:33:08 +0100
committerGitHub <noreply@github.com>2023-01-11 16:33:08 +0100
commit843f329b96051bf26804bf3dd6259266257df8ab (patch)
tree96b2babe96707fb2ba39b369be38dbc4098dacbe /guidelines/Checklists
parent6d56d4ecfc2c9afda3fd58f945a5f10daf87a999 (diff)
parent5abaa5908082f13f6b574d66f6f8a9ebb476fd54 (diff)
downloadyosys-843f329b96051bf26804bf3dd6259266257df8ab.tar.gz
yosys-843f329b96051bf26804bf3dd6259266257df8ab.tar.bz2
yosys-843f329b96051bf26804bf3dd6259266257df8ab.zip
Merge branch 'master' into claire/eqystuff
Diffstat (limited to 'guidelines/Checklists')
-rw-r--r--guidelines/Checklists2
1 files changed, 1 insertions, 1 deletions
diff --git a/guidelines/Checklists b/guidelines/Checklists
index 51756cfd7..75af12fa9 100644
--- a/guidelines/Checklists
+++ b/guidelines/Checklists
@@ -72,7 +72,7 @@ And if a version of the verific library is currently available:
../../yosys test_navre.ys
-Finally run all tests with "make config-{clang,gcc,gcc-4.8}":
+Finally run all tests with "make config-{clang,gcc}":
cd ~yosys
make clean