| # This file is licensed to You under the Eclipse Public License (EPL); | |
| # You may not use this file except in compliance with the License. You | |
| # may obtain a copy of the License at | |
| # | |
| # http://www.opensource.org/licenses/eclipse-1.0.php | |
| # | |
| # See the COPYRIGHT.txt file distributed with this work for information | |
| # regarding copyright ownership. | |
| # | |
| mmtk.headerMarkBit = true |