From: Ben Pfaff Date: Thu, 11 Jan 2007 07:48:07 +0000 (+0000) Subject: Remove unnecessary semicolon that gives GNU make 3.80 fits. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=93506894d5794e8c5e49f4600d5a51e3ad8092d7;hp=93506894d5794e8c5e49f4600d5a51e3ad8092d7;p=pintos-anon Remove unnecessary semicolon that gives GNU make 3.80 fits. ---