diff options
author | William D. Jones <thor0505@comcast.net> | 2019-03-12 17:55:47 -0400 |
---|---|---|
committer | William D. Jones <thor0505@comcast.net> | 2019-03-13 13:49:16 -0400 |
commit | ff15cf9b1f8208d8c6e22beb9aebedc8bdae213f (patch) | |
tree | 5630c4086ef42913d6ce0fb8e37207898658ccc0 /.gitignore | |
parent | ef48b62cb1206a3b72c00735fe817683ccf0f005 (diff) | |
download | yosys-ff15cf9b1f8208d8c6e22beb9aebedc8bdae213f.tar.gz yosys-ff15cf9b1f8208d8c6e22beb9aebedc8bdae213f.tar.bz2 yosys-ff15cf9b1f8208d8c6e22beb9aebedc8bdae213f.zip |
Install launcher executable when running yosys-smtbmc on Windows.
Signed-off-by: William D. Jones <thor0505@comcast.net>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 48ce458c7..e24f7975a 100644 --- a/.gitignore +++ b/.gitignore @@ -24,6 +24,8 @@ /yosys-abc.exe /yosys-config /yosys-smtbmc +/yosys-smtbmc.exe +/yosys-smtbmc-script.py /yosys-filterlib /yosys-filterlib.exe /kernel/version_*.cc |