commit | c70815ac0f6aff2047649a2fd20982c976a43a70 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 22:06:08 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 22:06:08 2002 +0000 |
tree | 04de716ff05ac8b46035623763ad9c7e863846f6 | |
parent | 80a3e0a604ae9aeeeaa3954d4ea9e320999704be [diff] |
Disabled non-carbon builds (for the moment still optional) and made these scripts work with the new precompiled headers.