Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upfix camlp5 uninstall #11443
Conversation
This comment has been minimized.
This comment has been minimized.
|
This comment has been minimized.
This comment has been minimized.
|
I am not too happy with the fix. It may be useful as a fast workaround to get in, but this should be also fixed in the |
mseri
merged commit f939384
into
ocaml:master
Feb 18, 2018
9 of 15 checks passed
ci/datakit/4 V1.2 Common Distros
Alpine 3.6 failed
Details
ci/datakit/5 V1.2 All Distros
depfail
Details
ci/datakit/1 arm64 V2.0 Build
Waiting for resource in "docker"
Details
ci/datakit/2 arm64 V2.0 Revdeps
waiting
Details
ci/datakit/3 arm64 V2.0 Compilers
waiting
Details
ci/datakit/4 arm64 V2.0 Common Distros
waiting
Details
camelus
All tests passed
ci/datakit/1 V1.2 Build
V1.2 Build
Details
ci/datakit/1 V2.0 Build
V2.0 Build
Details
ci/datakit/2 V2.0 Revdeps
V2.0 Revdeps
Details
ci/datakit/3 V1.2 Compilers
V1.2 Compilers
Details
ci/datakit/3 V2.0 Compilers
V2.0 Compilers
Details
ci/datakit/4 V2.0 Common Distros
V2.0 Common Distros
Details
ci/datakit/5 V2.0 All Distros
V2.0 All Distros
Details
continuous-integration/travis-ci/pr
The Travis CI build passed
Details
This comment has been minimized.
This comment has been minimized.
|
Camlp5 |
fdopen
deleted the
fdopen:camlp5
branch
Apr 16, 2018
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
fdopen commentedFeb 18, 2018
See #11440
I've noticed it, but didn't take it serious. 'rm -rf /' doesn't work with rm of coreutils or any other version of 'rm' I've seen. It will just print a warning. If this is not a universal feature, it's a very serious problem and this PR should be merged very soon.