Skip to content

Commit

Permalink
Merge pull request #238 from DhairyaLGandhi/dg/precomp
Browse files Browse the repository at this point in the history
Error precompiling v0.11.6
  • Loading branch information
jpsamaroo authored Jul 26, 2021
2 parents c5c6e27 + 04b6b6b commit 3812caf
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Project.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name = "Dagger"
uuid = "d58978e5-989f-55fb-8d15-ea34adc7bf54"
version = "0.11.6"
version = "0.11.7"

[deps]
Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"
Expand Down
4 changes: 2 additions & 2 deletions src/sch/unix.jl
Original file line number Diff line number Diff line change
Expand Up @@ -21,10 +21,10 @@ if Sys.islinux()
const CLOCK_MONOTONIC = Cint(1)
const CLOCK_PROCESS_CPUTIME_ID = Cint(2)
const CLOCK_THREAD_CPUTIME_ID = Cint(3)
elseif Sys.KERNEL == :FreeBSD # atleast on FreeBSD 11.1
elseif Sys.isfreebsd() # atleast on FreeBSD 11.1
const CLOCK_MONOTONIC = Cint(4)
const CLOCK_PROCESS_CPUTIME_ID = Cint(14)
elseif Compat.Sys.isapple() # Version 10.12 required
elseif Sys.isapple() # Version 10.12 required
const CLOCK_MONOTONIC = Cint(6)
const CLOCK_PROCESS_CPUTIME_ID = Cint(12)
else
Expand Down

2 comments on commit 3812caf

@jpsamaroo
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/41552

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.11.7 -m "<description of version>" 3812caf7c8c7314f0f229e9371ed731d9ec16be8
git push origin v0.11.7

Please sign in to comment.