Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
grew
grew
Commits
e3d480a8
Commit
e3d480a8
authored
Sep 10, 2018
by
Bruno Guillaume
Browse files
remove debug_loop mechanism
parent
ddc87233
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/grew_args.ml
View file @
e3d480a8
...
...
@@ -113,7 +113,6 @@ module Grew_args = struct
|
"-safe_commands"
::
args
->
Libgrew
.
set_safe_commands
true
;
loop
args
|
"-debug"
::
args
->
Libgrew
.
set_debug_mode
true
;
loop
args
|
"-debug_loop"
::
args
->
Rewrite
.
set_debug_loop
()
;
loop
args
|
"-dep_dir"
::
dir
::
args
->
dep_dir
:=
Some
dir
;
loop
args
|
x
::
args
->
Log
.
fwarning
"Invalid argument: %s, it is ignored!"
x
;
loop
args
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment