X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=acinclude.m4;h=17283b1129735a6105694f072e5e749b9e8225fa;hb=27dadb6bc69e03c2fd4a8de4f86073ebcb5f6cc3;hp=4dacae871a4101516a640a8f32a3767d186f7773;hpb=7b8b6bac1008ae7779ad306ae9edb1e47884de2b;p=openvswitch

diff --git a/acinclude.m4 b/acinclude.m4
index 4dacae87..17283b11 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -118,7 +118,7 @@ AC_DEFUN([OFP_ENABLE_EXT],
        HAVE_EXT=no
        ;;
      (*)
-       if test -d "$srcdir/ext"; then
+       if test -e "$srcdir/ext/configure"; then
          HAVE_EXT=yes
        else
          HAVE_EXT=no
@@ -126,7 +126,7 @@ AC_DEFUN([OFP_ENABLE_EXT],
        ;;
    esac
    if test $HAVE_EXT = yes; then
-     if test -d "$srcdir/ext"; then
+     if test -e "$srcdir/ext/configure"; then
        :
      else
        AC_MSG_ERROR([cannot configure extensions without "ext" directory])