diff --git a/install.do b/install.do index 47889ae..9a736f0 100644 --- a/install.do +++ b/install.do @@ -12,7 +12,7 @@ redo-ifchange _all echo "Installing to: $DESTDIR$PREFIX" # make dirs -$INSTALL -d $MANDIR/man1 $DOCDIR $BINDIR $LIBDIR +$INSTALL -d $MANDIR/man1 $DOCDIR $BINDIR $LIBDIR $LIBDIR/version # docs for d in Documentation/*.1; do @@ -22,7 +22,7 @@ done $INSTALL -m 0644 README.md $DOCDIR # .py files (precompiled to .pyc files for speed) -for d in *.py; do +for d in *.py version/*.py; do fix=$(echo $d | sed 's,-,_,g') $INSTALL -m 0644 $d $LIBDIR/$fix done diff --git a/redo.py b/redo.py index ce9e3bc..42d61d2 100755 --- a/redo.py +++ b/redo.py @@ -14,12 +14,17 @@ k,keep-going keep going as long as possible even if some targets fail shuffle randomize the build order to find dependency bugs debug-locks print messages about file locking (useful for debugging) debug-pids print process ids as part of log messages (useful for debugging) +version print the current version and exit """ o = options.Options('redo', optspec) (opt, flags, extra) = o.parse(sys.argv[1:]) targets = extra or ['all'] +if opt.version: + import version + print version.TAG + sys.exit(0) if opt.debug: os.environ['REDO_DEBUG'] = str(opt.debug or 0) if opt.verbose: