Commit graph

6 commits

Author SHA1 Message Date
Pierre Labastie
86debb00ea optimize_functions: change wrt_makeflags parameters
In order to be able to pass NINJAJOBS=1 when optimize is 0, we
add two paramters to this function. The three parameters are
then:
- the name of the package (tested against opt_override)
- MAKEFLAGS for this package
- NINJAJOBS for this package
2022-05-07 20:47:30 +02:00
Pierre Labastie
fd4a7982f2 Remove $Id$ comments, they are useless with git 2021-10-31 10:22:30 +01:00
Pierre Labastie
9ef12f76bb Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate
to top make, when ticking "Run the makefile"
2020-06-05 10:18:27 +00:00
Pierre Labastie
d023a3519f Exit without error if the user answers no 2013-11-16 10:00:16 +00:00
George Boudreau
a96109a275 more changes made to accomodate bash-3.2 2006-10-24 02:49:37 +00:00
Manuel Canales Esparcia
1b65a847a5 Merged optimize code from experimental branch. 2006-05-11 20:21:14 +00:00