diff options
| author | whitequark <whitequark@whitequark.org> | 2020-05-01 21:28:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-01 21:28:20 +0000 |
| commit | bbde2419420a86635baf2b730ebe58ed6edca5bb (patch) | |
| tree | 0dbd707b90ba392f540e63fe41d2179b3b97440d /kernel/register.cc | |
| parent | 667f38fe533c9f6676b5944d801a5fb33938ef8b (diff) | |
| parent | b43c282e4e0de53b9323a5d8d85b07bc73324a17 (diff) | |
| download | yosys-bbde2419420a86635baf2b730ebe58ed6edca5bb.tar.gz yosys-bbde2419420a86635baf2b730ebe58ed6edca5bb.tar.bz2 yosys-bbde2419420a86635baf2b730ebe58ed6edca5bb.zip | |
Merge pull request #2001 from whitequark/wasi
Add WASI platform support
Diffstat (limited to 'kernel/register.cc')
| -rw-r--r-- | kernel/register.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index 925d0d776..02974e534 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -238,6 +238,7 @@ void Pass::call(RTLIL::Design *design, std::string command) return; if (tok[0] == '!') { +#if !defined(YOSYS_DISABLE_SPAWN) cmd_buf = command.substr(command.find('!') + 1); while (!cmd_buf.empty() && (cmd_buf.back() == ' ' || cmd_buf.back() == '\t' || cmd_buf.back() == '\r' || cmd_buf.back() == '\n')) @@ -247,6 +248,9 @@ void Pass::call(RTLIL::Design *design, std::string command) if (retCode != 0) log_cmd_error("Shell command returned error code %d.\n", retCode); return; +#else + log_cmd_error("Shell is not available.\n"); +#endif } while (!tok.empty()) { |