blob: 32e0f05da8a46e8cc2a3f94dd6854b3f7f38f4bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
use make variable to avoid QA issue: "make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule"
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -576,7 +576,7 @@ doc/home-page.html: doc/home-page.lisp
# xdoc::save that populates doc/manual/ (not under books/).
acl2-manual: check-books
rm -rf doc/manual books/system/doc/acl2-manual.cert
- cd books ; make USE_QUICKLISP=1 system/doc/acl2-manual.cert
+ cd books ; $(MAKE) USE_QUICKLISP=1 system/doc/acl2-manual.cert
rm -rf doc/manual/download/*
# WARNING: The dependency list just below isn't complete, since it
|
GitWeb
