merge from HEAD

[myplc.git] / build_devel.sh

diff --git a/build_devel.sh b/build_devel.sh
index 1f2d782..4b8febb 100755 (executable)
--- a/build_devel.sh
+++ b/build_devel.sh
@@ -16,7 +16,7 @@
 # Marc E. Fiuczynski <mef@cs.princeton.edu>
 # Copyright (C) 2006-2007 The Trustees of Princeton University
 #
-# $Id: build_devel.sh,v 1.9.2.1 2007/08/30 16:39:06 mef Exp $
+# $Id:$
 #
 
 . build.functions
@@ -89,6 +89,6 @@ pl_fixtmp_permissions devel/data
 
 # Make image out of directory
 echo "* myplc-devel: Building loopback image"
-pl_make_mig devel/root devel/root.img 100000000
+pl_make_image devel/root devel/root.img 100000000
 
 exit 0