diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/profile.py | 1 | ||||
-rwxr-xr-x | tools/test-github.sh | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/tools/profile.py b/tools/profile.py index 7f98a13..51af349 100644 --- a/tools/profile.py +++ b/tools/profile.py @@ -56,4 +56,3 @@ if __name__ == '__main__': sorted_x = sorted(e.iteritems(), key=operator.itemgetter(1), reverse=True) for x in sorted_x: print x[0], x[1] - diff --git a/tools/test-github.sh b/tools/test-github.sh index 4a8d318..b512c54 100755 --- a/tools/test-github.sh +++ b/tools/test-github.sh @@ -30,7 +30,6 @@ else cd /lib/modules ls -1 | tail -1 )" \ - DRACUT_NO_XATTR=1 \ TEST_RUN_ID="$RUN_ID" \ ${TESTS:+TESTS="$TESTS"} \ -k V=1 \ |