diff make/linux/build.sh @ 2525:58e00fb82a3d

Removed CEEliminator (and two unused/unimplemented optimizations).
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 27 Apr 2011 16:54:57 +0200
parents c18cbe5936b8
children 075ea0ed9e7c
line wrap: on
line diff