diff options
Diffstat (limited to 'third-party/configure.m4')
| -rw-r--r-- | third-party/configure.m4 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/third-party/configure.m4 b/third-party/configure.m4 index 635446638..55b72daf9 100644 --- a/third-party/configure.m4 +++ b/third-party/configure.m4 @@ -1,4 +1,7 @@ - +# +# If this file is changed, be sure to run ASTTOPDIR/bootstrap.sh +# before committing. +# AC_DEFUN([THIRD_PARTY_CONFIGURE], [ |