From 215ff104bfa43aba3c43b5653a7751709b36bed1 Mon Sep 17 00:00:00 2001
From: Robert Ricci <ricci@cs.utah.edu>
Date: Fri, 28 Feb 2003 21:43:13 +0000
Subject: [PATCH] Oops, fix bug in last commit

---
 install/ports/ports-install | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/install/ports/ports-install b/install/ports/ports-install
index 7e5006833e..1690c060e4 100644
--- a/install/ports/ports-install
+++ b/install/ports/ports-install
@@ -12,8 +12,10 @@ PORTS="elvind emulab-boss emulab-ops libelvin tftp-hpa"
 for PORT in $PORTS
 do
     cp -r $SRCDIR/$PORT $PORTSDIR/$PORTSUBDIR
-    if [ "$?" ]
+    if [ "$?" != "0" ]
     then
 	exit 1
     fi
 done
+
+exit 0
-- 
GitLab