Home
last modified time | relevance | path

Searched refs:option_gnuplot_basename (Results 1 – 1 of 1) sorted by relevance

/netbsd-src/external/lgpl3/gmp/dist/tune/
H A Dspeed.c122 char *option_gnuplot_basename; variable
880 (strlen (option_gnuplot_basename) + 20); in run_gnuplot()
882 (strlen (option_gnuplot_basename) + 20); in run_gnuplot()
884 sprintf (plot_filename, "%s.gnuplot", option_gnuplot_basename); in run_gnuplot()
885 sprintf (data_filename, "%s.data", option_gnuplot_basename); in run_gnuplot()
1225 option_gnuplot_basename = optarg; in main()