diff options
| l--------- | tools/buildman/buildman | 2 | ||||
| -rwxr-xr-x | tools/buildman/main.py (renamed from tools/buildman/buildman.py) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/buildman b/tools/buildman/buildman index e4fba2d4b0..11a5d8e18a 120000 --- a/tools/buildman/buildman +++ b/tools/buildman/buildman @@ -1 +1 @@ -buildman.py
\ No newline at end of file +main.py
\ No newline at end of file diff --git a/tools/buildman/buildman.py b/tools/buildman/main.py index 0add628a63..0add628a63 100755 --- a/tools/buildman/buildman.py +++ b/tools/buildman/main.py |