diff options
Diffstat (limited to 'tune/Makefile.am')
| -rw-r--r-- | tune/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tune/Makefile.am b/tune/Makefile.am index 01d0a6c45..5fb3b50d3 100644 --- a/tune/Makefile.am +++ b/tune/Makefile.am @@ -180,3 +180,6 @@ fac_ui.c: $(top_builddir)/mpz/fac_ui.c echo "#include \"mpz/fac_ui.c\"" >>fac_ui.c include ../mpn/Makeasm.am + +.NOTPARALLEL: + |