dtrg
|
454bdae81f
Added the appropriate #! magic at the beginning of shell scripts. (Some modern shells don't like scripts to be without it.)
|
18 anni fa |
cvs2hg
|
5cb054f106
fixup commit for tag 'llgen-1-0'
|
18 anni fa |
ceriel
|
8a2a3fd74b
Only list readable directories
|
27 anni fa |
ceriel
|
c587ca287e
'ed -' is no longer supported by some systems. Use 'ed -s'
|
29 anni fa |
ceriel
|
e37939e8c8
Correction: also put ack_sys in conf/bin, otherwise mk_makefile does not work
|
30 anni fa |
ceriel
|
2f2b6ccadf
Some corrections
|
32 anni fa |
ceriel
|
e35f11f208
Made installation mechanism more portable
|
32 anni fa |
ceriel
|
5fdefde095
Some more fine-tuning of the installation mechanism
|
32 anni fa |
ceriel
|
a0f00e0b2b
Made installation of fast compilers optional, removed own version of 'echo'
|
32 anni fa |
ceriel
|
13a0dec2f6
Many changes in installation mechanism
|
32 anni fa |
ceriel
|
20c2bb2b79
fixes
|
33 anni fa |
ceriel
|
b4ba1a6aca
Allow mk_config to run over existing tree, make ack_sys executable
|
33 anni fa |
ceriel
|
b61f465b1f
A few fixes
|
33 anni fa |
ceriel
|
dc61380dc0
many changes
|
33 anni fa |
ceriel
|
425ddb3ff2
New installation mechanism
|
33 anni fa |