diff options
Diffstat (limited to 'patch-aclocal.m4')
| -rw-r--r-- | patch-aclocal.m4 | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/patch-aclocal.m4 b/patch-aclocal.m4 deleted file mode 100644 index 8234b61caff5..000000000000 --- a/patch-aclocal.m4 +++ /dev/null @@ -1,11 +0,0 @@ ---- aclocal.m4 2016-07-02 04:27:40.575928176 +1000 -+++ aclocal.m4-new 2016-07-02 04:27:49.715928551 +1000 -@@ -66,7 +66,7 @@ - gprinstall=gprinstall - AC_SUBST(gprinstall) - -- gprbuild=gprbuild -+ gprbuild=gnatmake - AC_SUBST(gprbuild) - - if test x$GNAT_BUILDS_SHARED = xyes; then |