diff --git a/src/mio.py b/src/mio.py index 243477f82f9118eedb2afd7b9d57a3c21d0aa3f8..a0c1a287a6fd4df1ca7136ead56aa330dbf985a0 100755 --- a/src/mio.py +++ b/src/mio.py @@ -6,6 +6,7 @@ import mio.transform import mio.parser import mio.repository import optparse +import os import os.path import re import sys @@ -116,6 +117,9 @@ if __name__ == '__main__': rules = mio.repository.Repository(find_and_parse) rpm_result = None + + if options.prefix: + os.environ["MIO_PREFIX"] = options.prefix if options.list: # List all targets reachable from the given source files