Updating revs

2020-02-02 15:04:16 +01:00
parent ea212cc68c
commit 2d7ea9ae5f
3 changed files with 5 additions and 2 deletions
@@ -7,6 +7,7 @@ pipeline {
       booleanParam(name: 'build_arm32v7', defaultValue: false, description: 'Build for arm32v7')
       booleanParam(name: 'build_x86', defaultValue: false, description: 'Build for x86')
       choice(choices: ['none', 'debug', 'optimized', 'stable'], description: 'What kind of build do you want to run?', name: 'build_type')
+       text(name: 'rebuild_libraries', defaultValue: '', description: 'Libraries to rebuild')
    }

    environment {
@@ -16,6 +17,8 @@ pipeline {

        //Make specific flags
        MAKE_OPTIONS = '-j32'
+
+        force_rebuild="${params.rebuild_libraries}"
    }
    
    stages {