// development/tools/updatelayouts.sh script, to update the format of
// all of our layout files.
//
-int const LAYOUT_FORMAT = 47; //rgh: package options
+int const LAYOUT_FORMAT = 48; //rgh: initial values for counter
namespace {
requires_.insert(req.begin(), req.end());
break;
}
-
+
case TC_PKGOPTS : {
lexrc.next();
string const pkg = lexrc.getString();