diff options
Diffstat (limited to 'patch-configure.in')
| -rw-r--r-- | patch-configure.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/patch-configure.in b/patch-configure.in new file mode 100644 index 000000000000..28c9b37cc5a0 --- /dev/null +++ b/patch-configure.in @@ -0,0 +1,10 @@ +--- configure.in 2016-07-03 07:07:21.106014999 +1000 ++++ configure.in-new 2016-07-03 07:07:32.079348333 +1000 +@@ -9,6 +9,6 @@ + *) is_windows="false";; + esac + AC_SUBST(is_windows) +-AM_CHECK_XMLADA ++#AM_CHECK_XMLADA + AM_GNAT_BUILDS_SHARED + AC_OUTPUT(Makefile) |