Commit graph

7 commits

Author SHA1 Message Date
Pierre Labastie
645ec4780e Reorganize advanced options in Config.in
- Put parallelization menu first
- Fix the logic for variable definitions in this menu
- change jhalfs to reflect the separation of optimization and
  parallelization
- validate new variables
- remove MAKEFLAGS from the validation of optimize variables
- also remove the black list, which has not been used in years.
2023-11-15 18:24:22 +01:00
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