[julia-users] Re: Globally enable / disable @time execution

[Toivo Henningsson]

I think you want to change the first case to

macro devtime(ex)
    quote
        @time $(esc(ex))
    end
end

right?