File: README

package info (click to toggle)
simka 1.5.3-10
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,200 kB
  • sloc: cpp: 5,321; python: 672; sh: 386; makefile: 26
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