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 |
|