diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 14c87dbfb4..3270a8019a 100644 --- a/Makefile +++ b/Makefile @@ -282,7 +282,8 @@ distribute := README README.libm INSTALL FAQ FAQ.in NOTES NEWS BUGS \ gen-sorted.awk abi-versions.awk abilist.awk \ firstversions.awk documented.sh cpp \ output-format.sed gen-as-const.awk \ - merge-abilist.awk extract-abilist.awk) + merge-abilist.awk extract-abilist.awk) \ + $(wildcard abilist/*.abilist) distribute := $(strip $(distribute)) generated := $(generated) stubs.h |