File: README

package info (click to toggle)
minia 3.2.6-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,024 kB
  • sloc: cpp: 1,377; sh: 395; python: 208; makefile: 11
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