diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/update_autogen | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/admin/update_autogen b/admin/update_autogen index 91889b629a0..73141f8ccea 100755 --- a/admin/update_autogen +++ b/admin/update_autogen | |||
| @@ -201,6 +201,8 @@ modified=$(status ${autogendir:+$sources} ${ldefs_flag:+lisp} ${info_flag:+doc}) | |||
| 201 | } | 201 | } |
| 202 | 202 | ||
| 203 | 203 | ||
| 204 | [ -e nt/gnulib.mk ] || touch nt/gnulib.mk # bug#25359 | ||
| 205 | |||
| 204 | echo "Running autoreconf..." | 206 | echo "Running autoreconf..." |
| 205 | 207 | ||
| 206 | autoreconf ${clean:+-f} -i -I m4 2>| $tempfile | 208 | autoreconf ${clean:+-f} -i -I m4 2>| $tempfile |