Make shell script tools more portable
tree866264e89f0a350d7a8d3a8a0760ecaf8539d79f
-rw-r--r-- 3647 .clang-format
-rw-r--r-- 100 .gitignore
-rw-r--r-- 2529 .travis.yml
-rw-r--r-- 19542 HelenOS.config
-rw-r--r-- 3007 Makefile
-rw-r--r-- 3888 README.md
drwxr-xr-x - abi
drwxr-xr-x - boot
-rwxr-xr-x 2374 configure.sh
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - kernel
-rw-r--r-- 2218 meson.build
drwxr-xr-x - meson
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1549 version