view clean @ 1463:7bc14f75a077

Another handle bug.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 15 Nov 2010 11:06:38 +0100
parents 6223633ce7dd
children
line wrap: on
line source

#!/bin/bash
pushd make
LANG=C ARCH_DATA_MODEL=64 HOTSPOT_BUILD_JOBS=16 make clean
popd