diff --git a/build-root/Makefile b/build-root/Makefile index 9d8cffd69df..a3335236c04 100644 --- a/build-root/Makefile +++ b/build-root/Makefile @@ -648,8 +648,12 @@ configure_check_timestamp = \ # we assume there's 1 processor; we use 2*ncpu for the -j option. # NB: GNU Make 4.2 will let us use '$(file