Fredrik> build_dir = "path/to/makefile"

    Fredrik> cwd = os.getcwd() # get current directory
    Fredrik> try:
    Fredrik>      os.chdir(build_dir)
    Fredrik>      os.system("make")
    Fredrik> finally:
    Fredrik>      os.chdir(cwd)

Or even:

    os.system("make -C %s" % build_dir)

Skip
-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to