raco setup: move `-K' flag to intended meaning

This commit is contained in:
Matthew Flatt 2013-07-09 10:23:40 -06:00
parent fbdff066b8
commit 9b3bb96648

View File

@ -78,9 +78,9 @@
(add-flags '((make-planet #f)))]
[("--avoid-main") "Do not make main-installation files"
(add-flags '((avoid-main-installation #t)))]
[("--no-pkg-deps") "Do not check package dependencies"
[("-K" "--no-pkg-deps") "Do not check package dependencies"
(add-flags '((check-dependencies #f)))]
[("-K" "--fix-pkg-deps") "Auto-repair package-dependency declarations"
[("--fix-pkg-deps") "Auto-repair package-dependency declarations"
(add-flags '((check-dependencies #t)
(fix-dependencies #t)))]
[("--mode") mode "Select a compilation mode"