diff options
Diffstat (limited to 'cxx/Makefile.in')
| -rw-r--r-- | cxx/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cxx/Makefile.in b/cxx/Makefile.in index f4c152b5d..c60a5ba08 100644 --- a/cxx/Makefile.in +++ b/cxx/Makefile.in @@ -126,7 +126,6 @@ GMP_LDFLAGS = @GMP_LDFLAGS@ GMP_NAIL_BITS = @GMP_NAIL_BITS@ HAVE_CLOCK_01 = @HAVE_CLOCK_01@ HAVE_CPUTIME_01 = @HAVE_CPUTIME_01@ -HAVE_DECL_OPTARG = @HAVE_DECL_OPTARG@ HAVE_GETRUSAGE_01 = @HAVE_GETRUSAGE_01@ HAVE_GETTIMEOFDAY_01 = @HAVE_GETTIMEOFDAY_01@ HAVE_HOST_CPU_FAMILY_power = @HAVE_HOST_CPU_FAMILY_power@ |