Commit 13f86496 authored by Robert Ricci's avatar Robert Ricci

Get the correct version of the emulab-boss port.

parent fdcd51f8
......@@ -201,7 +201,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.3")) {
if (!ExecQuiet("$PKG_INFO -e emulab-boss-1.4")) {
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