diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-10-15 01:20:14 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-10-15 01:20:14 +0200 |
commit | 8cea352a6aafa80d397d8a6a7d195c1378dcb324 (patch) | |
tree | cc670a0dadca8f6df7a1d24e1f00fa649d40f29a /kernel/yosys.cc | |
parent | 2873a8444ee5dbd0a3d034fb4a7a877c680be45d (diff) | |
parent | 1fc6208ec05af672c7c6b7973b0eba1295bca5f4 (diff) | |
download | yosys-8cea352a6aafa80d397d8a6a7d195c1378dcb324.tar.gz yosys-8cea352a6aafa80d397d8a6a7d195c1378dcb324.tar.bz2 yosys-8cea352a6aafa80d397d8a6a7d195c1378dcb324.zip |
Merge branch 'win32'
Diffstat (limited to 'kernel/yosys.cc')
-rw-r--r-- | kernel/yosys.cc | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index e50bfcbe6..ba3049c53 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -172,22 +172,6 @@ bool patmatch(const char *pattern, const char *string) return false; } -int readsome(std::istream &f, char *s, int n) -{ - int rc = f.readsome(s, n); - - // win32 sometimes returns 0 on a non-empty stream.. - if (rc == 0) { - int c = f.get(); - if (c != EOF) { - *s = c; - rc = 1; - } - } - - return rc; -} - int run_command(const std::string &command, std::function<void(const std::string&)> process_line) { if (!process_line) |