Stop -v from changing init-lib config

This commit is contained in:
Shu-Hung You 2019-12-25 18:36:02 -06:00 committed by Matthew Flatt
parent 15d7c439df
commit ccbd93e49c

View File

@ -430,7 +430,6 @@
(flags-loop (cdr args) (see saw 'non-config))]
[("-v" "--version")
(set! version? #t)
(no-init! saw)
(flags-loop (cdr args) (see saw 'non-config))]
[("-c" "--no-compiled")
(set! compiled-file-paths '())