diff options
| author | chriseth <chris@ethereum.org> | 2018-11-12 16:55:32 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-12 16:55:32 +0800 |
| commit | 09f8ff27fc576dbbd05e31471bb39c00abe90563 (patch) | |
| tree | 388c476e7eba7967dfa37f9109f874e0b675b307 /docs | |
| parent | 405565db62e8700fea08671b0dd85225257b6c5d (diff) | |
| parent | 2cc304fd3fbc4c9af1f2e220a7af90a7eb9c42fb (diff) | |
| download | dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.tar dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.tar.gz dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.tar.bz2 dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.tar.lz dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.tar.xz dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.tar.zst dexon-solidity-09f8ff27fc576dbbd05e31471bb39c00abe90563.zip | |
Merge pull request #5395 from ethereum/fixStyle
Fix style
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/contributing.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/contributing.rst b/docs/contributing.rst index e626e5c0..11f95206 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -84,8 +84,8 @@ internally. .. note :: - Those working in a Windows environment wanting to run the above basic sets without aleth or libz3 in Git Bash, you would have to do: ``./build/test/RelWithDebInfo/soltest.exe -- --no-ipc --no-smt``. - If you're running this in plain Command Prompt, use ``.\build\test\RelWithDebInfo\soltest.exe -- --no-ipc --no-smt``. + Those working in a Windows environment wanting to run the above basic sets without aleth or libz3 in Git Bash, you would have to do: ``./build/test/RelWithDebInfo/soltest.exe -- --no-ipc --no-smt``. + If you're running this in plain Command Prompt, use ``.\build\test\RelWithDebInfo\soltest.exe -- --no-ipc --no-smt``. The option ``--no-smt`` disables the tests that require ``libz3`` and ``--no-ipc`` disables those that require ``aleth``. |