From 78e34ebb1bf199ef11aa887e111afff685cc0ba0 Mon Sep 17 00:00:00 2001 From: Stefan Karpinski Date: Wed, 12 Feb 2014 17:22:32 -0500 Subject: [PATCH] preload base/userimg.jl if it exists. --- base/.gitignore | 1 + base/sysimg.jl | 2 ++ 2 files changed, 3 insertions(+) diff --git a/base/.gitignore b/base/.gitignore index e67c778a43638..cbe99566a5334 100644 --- a/base/.gitignore +++ b/base/.gitignore @@ -5,3 +5,4 @@ /file_constants.jl /uv_constants.jl /version_git.jl +/userimg.jl diff --git a/base/sysimg.jl b/base/sysimg.jl index d99d4ee48fab0..5df196c831b29 100644 --- a/base/sysimg.jl +++ b/base/sysimg.jl @@ -246,3 +246,5 @@ begin end end # baremodule Base + +Base.isfile("userimg.jl") && Base.include("userimg.jl")