diff --git a/bin/leanemacs.in b/bin/leanemacs.in
index 52a437005..3238b9a7a 100644
--- a/bin/leanemacs.in
+++ b/bin/leanemacs.in
@@ -5,4 +5,4 @@ MY_PATH="`( cd \"$MY_PATH\" && pwd )`"  # absolutized and normalized
 export LEAN_ROOTDIR="$MY_PATH/.."
 export LEAN_EMACS_PATH="$MY_PATH/../@EMACS_LISP_DIR@"
 
-emacs -load $LEAN_EMACS_PATH/load-lean.el
+emacs -load $LEAN_EMACS_PATH/load-lean.el $*
diff --git a/bin/test_leanemacs b/bin/test_leanemacs
index 413fda927..448cc3d96 100755
--- a/bin/test_leanemacs
+++ b/bin/test_leanemacs
@@ -6,4 +6,4 @@ MY_PATH="`( cd \"$MY_PATH\" && pwd )`"  # absolutized and normalized
 export LEAN_ROOTDIR="$MY_PATH/.."
 export LEAN_EMACS_PATH="$MY_PATH/../src/emacs"
 
-emacs -load $LEAN_EMACS_PATH/load-lean.el -debug-init
+emacs -load $LEAN_EMACS_PATH/load-lean.el -debug-init $*