summaryrefslogtreecommitdiff
path: root/igor.py
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2013-09-14 07:53:46 -0400
committerNed Batchelder <ned@nedbatchelder.com>2013-09-14 07:53:46 -0400
commitc24cc35e6ce34471b1a07e8d2a7798b295bfb8e3 (patch)
tree3bd34e0be102bb768ddcee68a285bed14baa73bd /igor.py
parentc5ed56368d13cf4e09be2af28306d1c1465b36ba (diff)
downloadpython-coveragepy-git-c24cc35e6ce34471b1a07e8d2a7798b295bfb8e3.tar.gz
Maybe 'develop' is better than 'install'?
Diffstat (limited to 'igor.py')
-rw-r--r--igor.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/igor.py b/igor.py
index 17b434d4..12ec6c8f 100644
--- a/igor.py
+++ b/igor.py
@@ -15,6 +15,10 @@ import sys
import zipfile
+# Functions named do_* are executable from the command line: do_blah is run
+# by "python igor.py blah".
+
+
def do_remove_extension():
"""Remove the compiled C extension, no matter what its name."""