mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-22 13:41:27 +00:00
bug5495.sh: Skip test if timeout isn't available
This commit is contained in:
parent
e33ca17388
commit
44ab884b06
1 changed files with 5 additions and 0 deletions
|
|
@ -1,5 +1,10 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
if ! which timeout ; then
|
||||
echo "No 'timeout', skipping test"
|
||||
exit 0
|
||||
fi
|
||||
|
||||
if ! timeout 5 ../../yosys bug5495.v -p 'hierarchy; techmap; abc -script bug5495.abc' ; then
|
||||
echo "Yosys failed to complete"
|
||||
exit 1
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue