Commit a24785e3 authored by Robert Ricci's avatar Robert Ricci
Browse files

Track the version of the emulab-boss port.

parent a5b9ae4b
......@@ -221,7 +221,7 @@ Phase "ports", "Installing ports", sub {
ExecQuietFatal("$SH $SRCDIR/ports/ports-install");
};
Phase "pinstall", "Checking for port installation", sub {
if (!ExecQuiet("$PKG_INFO -e emulab-boss-1.4")) {
if (!ExecQuiet("$PKG_INFO -e emulab-boss-1.5")) {
PhaseSkip("Ports already installed");
}
PhaseFail("Please install ports manually, since some\n of them are " .
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment