mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-06-01 07:08:12 +00:00
15 lines
395 B
Python
15 lines
395 B
Python
|
#!/usr/bin/env python3
|
||
|
|
|
||
|
|
import os
|
||
|
|
import sys
|
||
|
|
import pathlib
|
||
|
|
import subprocess
|
||
|
|
|
||
|
|
srcdir = pathlib.Path("@SRCDIR@")
|
||
|
|
extractdir = pathlib.Path("@EXTRACTDIR@")
|
||
|
|
bison_path = srcdir / extractdir / 'bin/bison'
|
||
|
|
env = os.environ.copy()
|
||
|
|
env['BISON_PKGDATADIR'] = str(srcdir / extractdir / 'share/bison')
|
||
|
|
ret = subprocess.run([str(bison_path)] + sys.argv[1:], check=False, env=env)
|
||
|
|
sys.exit(ret.returncode)
|