manage Jenkinsfile(#57)
This commit is contained in:
Vendored
+1
-1
@@ -24,7 +24,7 @@ pipeline {
|
|||||||
sh '''
|
sh '''
|
||||||
mkdir -p build
|
mkdir -p build
|
||||||
cd build
|
cd build
|
||||||
cmake .. -G ninja
|
cmake .. -G Ninja
|
||||||
'''
|
'''
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user