diff options
Diffstat (limited to 'build-aux/Jenkinsfile.full')
| -rw-r--r-- | build-aux/Jenkinsfile.full | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full index efbf1db5a..309822568 100644 --- a/build-aux/Jenkinsfile.full +++ b/build-aux/Jenkinsfile.full @@ -86,12 +86,11 @@ meta = [ // gnu_make: 'gmake' // ], - /// Temporarily bypass macos builder due to rebar version issue - // 'macos': [ - // name: 'macOS', - // spidermonkey_vsn: '60', - // gnu_make: 'make' - // ] + 'macos': [ + name: 'macOS', + spidermonkey_vsn: '60', + gnu_make: 'make' + ] ] // Credit to https://stackoverflow.com/a/69222555 for this technique. |