diff options
author | Claire Xen <claire@clairexen.net> | 2023-01-11 16:33:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-11 16:33:08 +0100 |
commit | 843f329b96051bf26804bf3dd6259266257df8ab (patch) | |
tree | 96b2babe96707fb2ba39b369be38dbc4098dacbe /guidelines/Checklists | |
parent | 6d56d4ecfc2c9afda3fd58f945a5f10daf87a999 (diff) | |
parent | 5abaa5908082f13f6b574d66f6f8a9ebb476fd54 (diff) | |
download | yosys-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/Checklists | 2 |
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 |