diff --git a/option-list b/option-list index f4f912f..b5be4bc 100644 --- a/option-list +++ b/option-list @@ -29,6 +29,7 @@ reconfigure recreate-configure refresh-build release-tag +set-env stop-on-failure use-qt-builddir-hack use-unsermake