diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check_loading | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/tools/check_loading b/tools/check_loading new file mode 100755 index 0000000..d53be77 --- /dev/null +++ b/tools/check_loading @@ -0,0 +1,33 @@ +#! /bin/bash +# +RESET="\033[0m" +RED="\033[0;31m" +GREEN="\033[0;32m" +# +abspath=$(readlink -f $0) +parentdir=${abspath%/*/*} +# +function run () { + echo -n " ${1##*/}" + $RUBY -I $parentdir/lib $1 2>/dev/null && echo -e "$GREEN OK$RESET" || echo -e "$RED KO$RESET" +} +# +function each () { + echo $($RUBY --version) + echo " lib/efl/native/*.rb" + for native in $parentdir/lib/efl/native/*.rb; do + run $native + done + echo " lib/efl/*.rb" + for wrapper in $parentdir/lib/efl/e*.rb; do + run $wrapper + done +} +# +RUBY=/usr/bin/ruby +time each +echo +RUBY=/opt/ruby1.8/bin/ruby +time each +echo +# |