diff options
Diffstat (limited to 'tools/check_loading')
| -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 +# | 
