Christian Helmuth
ae43d13b90
Remove always_hybrid spec
...
With always_hybrid also the lx_hybrid_x86 platform in
tool/create_builddir vanishes.
Fixes #1619
2015-09-09 15:14:27 +02:00
Josef Söntgen
026b5a66c9
autopilot: get settings via RUN_OPT_AUTOPILOT
...
If the variable RUN_OPT_AUTOPILOT is set the autopilot will override
the default RUN_OPT settings provided in build.conf.
Related to #1355 .
2015-01-26 12:28:41 +01:00
Christian Helmuth
6e166d01bb
autopilot: detect missing run script with timestamps
2014-10-21 11:05:15 +02:00
Christian Helmuth
2c8f814c66
autopilot: provide time information
...
- Log elapsed time per test in summary
- Command-line switch `--time-stamp` prefixes log output lines with
current time stamp (requires ts utility from Debian package _moreutils_)
Fixes #1156 .
2014-06-27 14:25:09 +02:00
Christian Helmuth
31605fd85f
autopilot: create only missing builddirs on --keep
...
This improvement prevents multiple execution of create_builddir on
existing directories.
2013-11-28 08:22:24 +01:00
Christian Helmuth
1ef8545469
autopilot: improve detection of genode dir
...
If the script is executed with an obscure path (e.g.,
'../tool/autopilot'), just taking the argv0 string fails. Therefore, the
file path is now normalized prior to the directory detection.
2013-11-28 08:22:24 +01:00
Alexander Boettcher
b2fee4c7b1
autopilot: option to keep existing test directory
2013-05-17 12:03:57 +02:00
Alexander Boettcher
6e1b9a823d
autopilot: redirect stderr to log file
2013-05-17 11:54:01 +02:00
Genode Labs
d1891e8a27
Merge final fixes from internal repositories
2011-12-23 14:04:29 +01:00
Genode Labs
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
