diff options
Diffstat (limited to 'libitm/Makefile.in')
| -rw-r--r-- | libitm/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libitm/Makefile.in b/libitm/Makefile.in index a07b9ebc6d0..f51858db8c7 100644 --- a/libitm/Makefile.in +++ b/libitm/Makefile.in @@ -347,7 +347,6 @@ SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ SPHINX_BUILD = @SPHINX_BUILD@ -HAS_SPHINX_BUILD = @HAS_SPHINX_BUILD@ STRIP = @STRIP@ VERSION = @VERSION@ XCFLAGS = @XCFLAGS@ |