diff options
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 1af5ea79639..c5a3b17f50a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -18,7 +18,7 @@ pipeline { axes { axis { name 'CONFIG' - values 'defconfig', 'orangepi_pc_defconfig' + values 'orangepi_pc_defconfig' } } stages { |