Skip to content
This repository has been archived by the owner on Aug 7, 2023. It is now read-only.

Commit

Permalink
Force master repository of Lint.jl
Browse files Browse the repository at this point in the history
aminya committed Nov 11, 2019

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 578a160 commit 461f4ce
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions lib/julia-server.jl
Original file line number Diff line number Diff line change
@@ -14,11 +14,12 @@ if get(Pkg.installed(), "Lint", nothing) == nothing == nothing
end
else
ver = get(Pkg.installed(), "Lint", nothing)
if ver != v"0.0.0" && ver < v"0.3.0"
if ver != v"0.0.0" # && ver < v"0.3.0" # wait until registered
print(Base.stderr, "linter-julia-updating-lint");
try
# NOTE: This doesn't appear to be working?
Pkg.update(LintPkg);
Pkg.add(LintPkg);
# Wait until registered
# Pkg.update(LintPkg);
catch
print(Base.stderr, "linter-julia-msg-update");
rethrow();

0 comments on commit 461f4ce

Please sign in to comment.