diff options
| -rwxr-xr-x | tools/check_loading | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/check_loading b/tools/check_loading index 4d4cc64..d50912b 100755 --- a/tools/check_loading +++ b/tools/check_loading @@ -7,6 +7,8 @@ GREEN="\033[0;32m" abspath=$(readlink -f $0) parentdir=${abspath%/*/*} # +rm /tmp/ffi-efl-* 2>/dev/null +# function run () { echo -n " ${1##*/}" outf=/tmp/ffi-efl-${1##*/} |