File: README

package info (click to toggle)
minia 3.2.1%2Bgit20200522.4960a99-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 3,012 kB
  • sloc: cpp: 1,376; sh: 397; python: 208; makefile: 8
file content (6 lines) | stat: -rw-r--r-- 222 bytes parent folder | download | duplicates (16) 
1
2
3
4
5
6
 
These scripts are intended to be used with the Jenkins CI Platform available at Inria.

They can be called from a Jenkins Task / Build / Execute script, as follows:

/bin/bash -xv gatb-${TOOL_NAME}/scripts/jenkins/xxx.sh