[EMAIL PROTECTED] wrote:
> 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)

OP specified GNU make, so that works fine, but make sure you're not
going to need to use it with another make before settling on that
alternative.  Frederik's works with more versions of make.

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

Reply via email to