# # ChangeLog for contrib/tools in mainline # # Generated by Trac 1.6 # 2025-08-28T08:51:03Z Mon, 09 Oct 2017 18:17:05 GMT jzr [d75dc05] * HelenOS.config (modified) * boot/Makefile.build (modified) * contrib/tools/random_check.sh (modified) * kernel/Makefile (modified) * tools/autotool.py (modified) * uspace/Makefile.common (modified) Remove the unmaintained and likely broken ICC support. Tue, 29 Apr 2014 12:27:43 GMT Jakub Jermar [9f40318f] * contrib/tools/random_check.sh (modified) No need for -S in random_check.sh now. Thu, 24 Apr 2014 08:14:30 GMT Vojtech Horky [723ce99] * contrib/tools/random_check.sh (modified) Fixes in random_check.sh script Thu, 24 Apr 2014 08:05:12 GMT Vojtech Horky [84b89095] * contrib/tools/random_check.sh (modified) Add better usage help to random_check.sh script Thu, 24 Apr 2014 07:56:12 GMT Vojtech Horky [3b065c9] * contrib/tools/random_check.sh (modified) Easier random-checking of supported configurations Thu, 24 Apr 2014 07:42:29 GMT Vojtech Horky [e36a1c2] * contrib/tools/random_check.sh (modified) Refactor random_check.sh script (uses getopts) Tue, 22 Apr 2014 06:54:29 GMT Vojtech Horky [787510d] * contrib/tools/random_check.sh (modified) random_check.sh refactoring Mon, 21 Apr 2014 11:57:39 GMT Vojtech Horky [170e181] * contrib/tools/random_check.sh (modified) Allow compiler pruning for random builds Fri, 18 Apr 2014 11:48:43 GMT Vojtech Horky [5792d6e] * contrib/tools/random_check.sh (modified) Random compile checking: print always basic info Fri, 18 Apr 2014 07:27:28 GMT Vojtech Horky [f857e8b] * Makefile (modified) * contrib/tools/random_check.sh (added) * tools/config.py (modified) Allow random configuration builds Running make random-config would ... Thu, 25 Jul 2013 10:52:02 GMT Vojtech Horky [98f7830] * contrib/tools/toolchain_check.sh (added) Add simple script to check *-helenos-* toolchain Wed, 10 Aug 2011 17:45:30 GMT Martin Decky [62e29ae] * contrib/tools/gen_vga323.c (modified) cstyle Sat, 02 Jul 2011 21:36:18 GMT Jakub Jermar [e944e4c] * contrib/tools/serengeti_silo.sh (deleted) Remove serengeti_silo.sh. Fri, 13 May 2011 14:02:11 GMT Martin Decky [fa7aa50] * contrib/tools/font/bdf2c.pl (moved) * contrib/tools/font/u_vga16.bdf (moved) * contrib/tools/serengeti_silo.sh (moved) clean up the contrib directory a little bit Tue, 04 May 2010 22:47:20 GMT Martin Decky [5bf91e2] * contrib/tools/download_and_patch_silo.sh (moved) move script from util to tools Tue, 04 May 2010 10:57:14 GMT Martin Decky [4940ea9] * contrib/tools/gen_vga323.c (moved) move tools directory to contrib (it does not contain any viable tools ...