Fix installing bitvector headers (#2056)

This commit is contained in:
Anton Kochkov 2021-12-02 13:15:21 +08:00 committed by GitHub
parent cd6bde4aeb
commit 4508b25a20
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -399,6 +399,7 @@ rz_util_files = [
'include/rz_util/rz_base91.h',
'include/rz_util/rz_big.h',
'include/rz_util/rz_bitmap.h',
'include/rz_util/rz_bitvector.h',
'include/rz_util/rz_buf.h',
'include/rz_util/rz_debruijn.h',
'include/rz_util/rz_event.h',