Rev 9375 | Rev 9378 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 9375 | Rev 9377 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | # the same named scripts from _tools/workspace |
30 | # the same named scripts from _tools/workspace |
| 31 | tools_workspace_run_py = os.path.join(tools_workspace, "run.py") |
31 | tools_workspace_run_py = os.path.join(tools_workspace, "run.py") |
| 32 | tools_workspace_build_py = os.path.join(tools_workspace, "build.py") |
32 | tools_workspace_build_py = os.path.join(tools_workspace, "build.py") |
| 33 | create_workspace_script("run.py", tools_workspace_run_py) |
33 | create_workspace_script("run.py", tools_workspace_run_py) |
| 34 | create_workspace_script("build.py", tools_workspace_build_py) |
34 | create_workspace_script("build.py", tools_workspace_build_py) |
| - | 35 | # Initalize tup here |
|
| - | 36 | # TODO: Do anything if tup doesn't exist |
|
| - | 37 | os.system("tup init") |
|