diff options
Diffstat (limited to 'tools/misc')
| -rw-r--r-- | tools/misc/Makefile.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in index d095698..18721cb 100644 --- a/tools/misc/Makefile.in +++ b/tools/misc/Makefile.in @@ -114,7 +114,6 @@ FC = @FC@ FFLAGS = @FFLAGS@ FILTERS = @FILTERS@ FSEARCH_DIRS = @FSEARCH_DIRS@ -GASS = @GASS@ GCJ = @GCJ@ GCJFLAGS = @GCJFLAGS@ H5_VERSION = @H5_VERSION@ @@ -150,10 +149,8 @@ SEARCH = @SEARCH@ SETX = @SETX@ SIZE_T = @SIZE_T@ SRB = @SRB@ -SSL = @SSL@ STATIC_SHARED = @STATIC_SHARED@ STRIP = @STRIP@ -TESTGASS = @TESTGASS@ TESTPARALLEL = @TESTPARALLEL@ TESTSRB = @TESTSRB@ TRACE_API = @TRACE_API@ |