X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=be6aaaf335e1b6a3e8825702cd95c93f602ed1a9;hb=4b93282ac2e60cd4d74b1e0be8ac758933140413;hp=a30077a27ca582b93eee0fe787c66112ccd553c5;hpb=10d90467d53345f6b3c1ec575f34266253858333;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index a30077a..be6aaaf 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -1,6 +1,6 @@
 # Makefile for GeekOS kernel, userspace, and tools
 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.61 $
+# $Revision: 1.62 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".