diff options
author | Andor Penzes <andor.penzes@gmail.com> | 2016-01-27 01:31:15 +0100 |
---|---|---|
committer | Andor Penzes <andor.penzes@gmail.com> | 2016-01-27 01:31:15 +0100 |
commit | 22d39bea7e429c8f25d1d283636165afae642a4e (patch) | |
tree | 267d7d7bb619f08b7023dcecec6a647d6ff33e7c /travis | |
parent | 6e631e6630517d8d0504ce1beac94c0f776c7344 (diff) |
Remove profiling from travis build.
Diffstat (limited to 'travis')
-rwxr-xr-x | travis/build.sh (renamed from travis/travis-build.sh) | 0 | ||||
-rwxr-xr-x | travis/profile.sh (renamed from travis/travis-profile.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/travis/travis-build.sh b/travis/build.sh index 9af0093d..9af0093d 100755 --- a/travis/travis-build.sh +++ b/travis/build.sh | |||
diff --git a/travis/travis-profile.sh b/travis/profile.sh index b571ee6d..b571ee6d 100755 --- a/travis/travis-profile.sh +++ b/travis/profile.sh | |||