30 lines
434 B
Python
Executable file
30 lines
434 B
Python
Executable file
#!/usr/bin/env python3
|
|
|
|
import os as _os
|
|
import argparse as _argparse
|
|
|
|
|
|
def main():
|
|
argument_parser = _argparse.ArgumentParser(
|
|
)
|
|
argument_parser.add_argument(
|
|
"-o",
|
|
"--output-directory",
|
|
type = str,
|
|
default = "/tmp/ivaldi",
|
|
metavar = "<output-directory>",
|
|
)
|
|
args = argument_parser.parse_args()
|
|
|
|
if True:
|
|
_os.system(
|
|
"make dir_build=%s --file=tools/makefile"
|
|
% (
|
|
args.output_directory
|
|
)
|
|
)
|
|
|
|
|
|
main()
|
|
|