From: Ben Pfaff <blp@nicira.com>
Date: Wed, 4 Jun 2008 23:14:39 +0000 (-0700)
Subject: Delete unneeded line.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2f90b053c140f410c586e2f195da836394558a60;p=openvswitch

Delete unneeded line.
---

diff --git a/datapath/linux-2.6/Makefile.main.in b/datapath/linux-2.6/Makefile.main.in
index 1b75075f..a93b86e0 100644
--- a/datapath/linux-2.6/Makefile.main.in
+++ b/datapath/linux-2.6/Makefile.main.in
@@ -15,7 +15,6 @@ $(foreach m,$(all_modules), \
   $(foreach s,$($(m)_sources), \
     $(eval $(notdir $(s)): ; ln -s $(srcdir)/../$(s) $@)))
 
-default:
 distclean: clean
 distdir: clean
 install: