diff options
| author | Martin Liska <mliska@suse.cz> | 2022-11-13 21:48:24 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-11-14 09:35:02 +0100 |
| commit | bd24b5dbb6877c339533f414b39c33cffe562067 (patch) | |
| tree | 3fa251b653d0122871ffaff58377bc4884287cd2 /libitm | |
| parent | cead52c9d94420a092add58f0d1521ece3f8ecfa (diff) | |
| download | gcc-bd24b5dbb6877c339533f414b39c33cffe562067.zip gcc-bd24b5dbb6877c339533f414b39c33cffe562067.tar.gz gcc-bd24b5dbb6877c339533f414b39c33cffe562067.tar.bz2 | |
Revert "configure: always set SPHINX_BUILD"
This reverts commit 5e749ee3019d7917184af30dab8d09c933c0a4a1.
Diffstat (limited to 'libitm')
| -rwxr-xr-x | libitm/configure | 2 | ||||
| -rw-r--r-- | libitm/configure.ac | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libitm/configure b/libitm/configure index 2a7d21e..20f2003 100755 --- a/libitm/configure +++ b/libitm/configure @@ -18094,7 +18094,7 @@ $as_echo "$as_me: WARNING: *** Info and man pages documentation will not be built." >&2;} { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5 $as_echo "no" >&6; } - SPHINX_BUILD=sphinx-build + SPHINX_BUILD= HAS_SPHINX_BUILD= fi rm -rf $tempdir diff --git a/libitm/configure.ac b/libitm/configure.ac index be5d715..6930f5a 100644 --- a/libitm/configure.ac +++ b/libitm/configure.ac @@ -331,7 +331,7 @@ else *** sphinx-build is missing or too old. *** Info and man pages documentation will not be built.]) AC_MSG_RESULT(no) - SPHINX_BUILD=sphinx-build + SPHINX_BUILD= HAS_SPHINX_BUILD= fi rm -rf $tempdir |