Merge pull request #1827 from vneiger/fix_single_headers

fix missing single header in Makefile
flintlib · Mar 13, 2024 · a30e9d1 · a30e9d1
2 parents 1c45aad + d45e089
commit a30e9d1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile.in b/Makefile.in
@@ -254,7 +254,8 @@ SINGLE_HEADERS :=                                                           \
         profiler.h      templates.h                                         \
                                                                             \
         longlong.h                        longlong_asm_clang.h              \
-        longlong_asm_gcc.h                longlong_div_gnu.h                \
+        longlong_asm_gcc.h                longlong_asm_gnu.h                \
+        longlong_div_gnu.h                                                  \
         longlong_msc_arm64.h              longlong_msc_x86.h                \
                                                                             \
         gmpcompat.h                                                         \