diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2018-03-18 17:28:01 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2018-03-18 17:28:01 +0100 |
commit | 0f97a4896fe278bdf4525f76aa912ff1bbfce592 (patch) | |
tree | a666e7bcc0cb29b9e2dfe8d63c5d36d100e89d01 /tune | |
parent | 5f7739f5d1d341cdcc2655ad13e20ac74beca012 (diff) | |
download | gmp-0f97a4896fe278bdf4525f76aa912ff1bbfce592.tar.gz |
tune/speed.c (run_gnuplot): Set termoption, as suggested by Paul.
Diffstat (limited to 'tune')
-rw-r--r-- | tune/speed.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tune/speed.c b/tune/speed.c index b1c2cd44e..05111a4fa 100644 --- a/tune/speed.c +++ b/tune/speed.c @@ -887,6 +887,9 @@ run_gnuplot (int argc, char *argv[]) interactively if it's not. */ fprintf (fp, "set key left\n"); + /* write underscores, not subscripts */ + fprintf (fp, "set termoption noenhanced\n"); + /* designed to make it possible to see crossovers easily */ fprintf (fp, "set style data lines\n"); |