diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2018-02-18 10:59:38 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2018-02-18 10:59:38 +0100 |
commit | c4fefb0aa1ab60561bc69bc4ef58558c604750d8 (patch) | |
tree | 0fd87b986df50ea190a19854041423ebf59ce861 /tune | |
parent | 7d3c4b8a643464d1568dc723d2bf6a671565823c (diff) | |
download | gmp-c4fefb0aa1ab60561bc69bc4ef58558c604750d8.tar.gz |
tune/Makefile.am: Disallow parallel make (thanks Vincent Lefevre)
Diffstat (limited to 'tune')
-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: + |