This repository has been archived on 2024-10-17. You can view files and clone it, but cannot push or open issues or pull requests.

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
..
opt_config.d	Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate	2020-06-05 10:18:27 +00:00
opt_config	Unset the BLACKLIST variable in opt_config: all packages seem to be	2019-12-21 22:10:04 +00:00
opt_override	Fix optimization configuraiton files	2013-11-17 22:24:11 +00:00
optimize_functions	Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate	2020-06-05 10:18:27 +00:00