diff Makefile @ 34140:a08f68ee111e

Fix compilation: Partly revert r34227.
author cehoyos
date Fri, 21 Oct 2011 08:49:48 +0000
parents 3d7ee643b110
children 3053e7ffd08d
line wrap: on
line diff