diff options
author | Kevin Ryde <user42@zip.com.au> | 2002-05-21 00:57:32 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2002-05-21 00:57:32 +0200 |
commit | ce29de654800ee145cac031a84b90aec32cdbab4 (patch) | |
tree | 13c1aa0f72e93d8622e75aade7b116f8c9454743 | |
parent | fa4369b61d68e9b2f04f4dc9192667b46f5b0c8e (diff) | |
download | gmp-ce29de654800ee145cac031a84b90aec32cdbab4.tar.gz |
Mention speed.exe for DOS systems.
-rw-r--r-- | tune/README | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tune/README b/tune/README index de493bfa0..681b66d87 100644 --- a/tune/README +++ b/tune/README @@ -126,6 +126,8 @@ routines, and producing tables of data or gnuplot graphs. Compile it with make speed +(Or on DOS systems "make speed.exe".) + Here are some examples of how to use it. Check the code for all the options. |