view clean @ 3596:3a0a26011371

For the entries of the Window menu, uniformly use the window title
author Peter Hofer <peter.hofer@jku.at>
date Mon, 17 Oct 2011 16:30:41 +0200
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