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
..
defOpt_fPIC	Merged optimize code from experimental branch.	2006-05-11 20:21:14 +00:00
noOpt	Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate	2020-06-05 10:18:27 +00:00
noSymbols	Merged optimize code from experimental branch.	2006-05-11 20:21:14 +00:00
O2pipe	Commit Pierre Labastie's patch for including package management support in jhalfs. NOTE: Package management is by default disabled.	2012-02-01 23:29:37 +00:00
O3pipe	Merged optimize code from experimental branch.	2006-05-11 20:21:14 +00:00
O3pipe_march	Commit Pierre Labastie's patch for including package management support in jhalfs. NOTE: Package management is by default disabled.	2012-02-01 23:29:37 +00:00