1 #!/bin/bash -norc
1 #!/bin/bash
2 #
3 # $Id$
4 #
5 # DESCRIPTION: collect heap names from ISABELLE_PATH
6