merge from HEAD

[myplc.git] / plc_config.py

diff --git a/plc_config.py b/plc_config.py
index 913ccfd..9bf3f8b 100644 (file)
--- a/plc_config.py
+++ b/plc_config.py
@@ -7,7 +7,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: plc_config.py,v 1.3 2006/04/18 15:32:48 thierry Exp $
+# $Id: plc_config.py,v 1.5 2007/08/31 04:48:37 mef Exp $
 #
 
 import xml.dom.minidom
@@ -798,6 +798,6 @@ class TrimTextElement(xml.dom.minidom.Element):
 
 if __name__ == '__main__':
     import sys
-    if len(sys.argv) > 1 and sys.argv[1] in ['build', 'install']:
+    if len(sys.argv) > 1 and sys.argv[1] in ['build', 'install', 'uninstall']:
         from distutils.core import setup
         setup(py_modules=["plc_config"])