Merge: doc: fixed some typos and other misc. corrections
[nit.git] / misc / jenkins / unitrun.sh
2017-06-14 Jean Privattest: use `command` instead of `env` to bypass Bash...
2017-06-13 Jean Privattests: measure time with elapsed time instead of user...
2017-03-02 Jean Privatmacosx: use gtime (from gnu-time) if available to measu...
2015-08-19 Jean Privatjenkins: unitrun.sh does not generate empty system...
2014-12-13 Jean Privatunitrun.sh: do not crash when no time.out file
2014-12-13 Jean Privatunitrun.sh: detect nonworking date command
2014-12-12 Alexis Laferrièremisc/jenkins: unitrun without --quiet do not use '...
2014-11-07 Alexis Laferrièreunitrun: fix use of time command
2014-09-26 Jean Privatjenkins: add --quiet to time in unitrun.sh
2014-09-26 Jean Privatmisc/jenkins: unitrun handle classname
2014-08-28 Jean Privatmisc: make public some scripts used by Jenkins