diff options
| author | Joe Watkins <krakjoe@php.net> | 2017-01-06 16:04:52 +0000 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2017-01-06 16:04:52 +0000 |
| commit | 8e447eafd9adae37fb476bb503e7d62bbf52b33c (patch) | |
| tree | 68d9d5749fa52d08a47ed38e554ed47ef21a4a6c /scripts/Makefile.frag | |
| parent | 94c6460b852269c0391b9ec6ab935ec4f4e46c75 (diff) | |
| download | php-git-8e447eafd9adae37fb476bb503e7d62bbf52b33c.tar.gz | |
fix broken build scripts #2124
Diffstat (limited to 'scripts/Makefile.frag')
| -rw-r--r-- | scripts/Makefile.frag | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/Makefile.frag b/scripts/Makefile.frag index 7cd78fabad..d3f8bb2136 100644 --- a/scripts/Makefile.frag +++ b/scripts/Makefile.frag @@ -11,6 +11,7 @@ BUILD_FILES = \ build/mkdep.awk \ build/scan_makefile_in.awk \ build/libtool.m4 \ + build/ax_check_compile_flag.m4 \ Makefile.global \ acinclude.m4 \ ltmain.sh \ |