diff options
Diffstat (limited to 'edksetup.sh')
-rwxr-xr-x | edksetup.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/edksetup.sh b/edksetup.sh index 7b542230f2..ec54f9ea40 100755 --- a/edksetup.sh +++ b/edksetup.sh @@ -24,6 +24,7 @@ # SCRIPTNAME="edksetup.sh" +RECONFIG=FALSE function HelpMsg() { @@ -35,6 +36,9 @@ function HelpMsg() echo "Options: " echo " --help, -h, -? Print this help screen and exit." echo + echo " --reconfig Overwrite the WORKSPACE/Conf/*.txt files with the" + echo " template files from the BaseTools/Conf directory." + echo echo Please note: This script must be \'sourced\' so the environment can be changed. echo ". $SCRIPTNAME" echo "source $SCRIPTNAME" @@ -121,6 +125,10 @@ do # Ignore argument for backwards compatibility shift ;; + --reconfig) + RECONFIG=TRUE + shift + ;; -?|-h|--help|*) HelpMsg break @@ -136,4 +144,6 @@ fi SourceEnv +unset SCRIPTNAME RECONFIG + return $? |