-
Notifications
You must be signed in to change notification settings - Fork 3.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Execution time measurement patch #922
Conversation
please rebase your changes onto the latest develop branch and push with |
Here's a script that should help rebasing your efforts against the latest origin/develop: |
you need to change the PR so it's against develop, instead of master. @DennisOSRM it's possible to change the default branch for the repo, maybe worth considering? |
commit 10b8b0b Author: vershov <vladimir.a.ershov@gmail.com> Date: Wed Feb 19 16:52:18 2014 +0100 small fix commit 0f15054 Author: vershov <vladimir.a.ershov@gmail.com> Date: Wed Feb 19 13:09:07 2014 +0100 changes into exec time measurement commit 4efcca3 Author: vershov <vladimir.a.ershov@gmail.com> Date: Tue Feb 18 22:57:48 2014 +0100 Adding execution time measurement facility
@DennisOSRM I have tried your script but it seems something is going wrong anyway, could you please advise? |
the script looks complicated to me. why not just something like this? |
but again, this PR is currently against master, it needs to be against develop |
@emiltin is right, change the PR to be against develop branch. There is no need to open a new one. You should be able to change this. |
Correct pull request is #923 |
Here is second version of the time measurement patch. First version is #919 and are to be closed.