Refactor random_check.sh script (uses getopts)
tree74d32f033b7abe5155c88434eeb139f40431f10f
-rw-r--r-- 7279 .bzrignore
-rw-r--r-- 18225 HelenOS.config
-rw-r--r-- 3800 Makefile
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1940 version