X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=acinclude.m4;h=6ba647ab96183313133f11881aa9620c51c3c830;hb=dc81071d9fe21beaead51a9c0a8d87fbefbfcf56;hp=d5d7c095982dac6ed03048562541e695ea1b068f;hpb=aed944953be7c8d71beada565ac9923ab86855e5;p=openvswitch

diff --git a/acinclude.m4 b/acinclude.m4
index d5d7c095..6ba647ab 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -14,20 +14,6 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-dnl Checks for --disable-userspace.
-AC_DEFUN([OVS_CHECK_USERSPACE],
-  [AC_ARG_ENABLE(
-     [userspace],
-     [AC_HELP_STRING([--disable-userspace], 
-                     [Disable building userspace components.])],
-     [case "${enableval}" in
-        (yes) build_userspace=true ;;
-        (no)  build_userspace=false ;;
-        (*) AC_MSG_ERROR([bad value ${enableval} for --enable-userspace]) ;;
-      esac],
-     [build_userspace=true])
-   AM_CONDITIONAL([ENABLE_USERSPACE], [$build_userspace])])
-
 dnl OVS_CHECK_LINUX(OPTION, VERSION, VARIABLE, CONDITIONAL)
 dnl
 dnl Configure linux kernel source tree