about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xvienna4
1 files changed, 2 insertions, 2 deletions
diff --git a/vienna b/vienna index b077970..9761714 100755 --- a/vienna +++ b/vienna
@@ -86,8 +86,6 @@ main() {
86 # Configure 86 # Configure
87 configure "$@" 87 configure "$@"
88 shift "$((OPTIND - 1))" 88 shift "$((OPTIND - 1))"
89 # Further argument processing --- pre-build
90 preprocess "$@" || shift
91 # Prepare 89 # Prepare
92 cd "$WORKD" || exit 2 90 cd "$WORKD" || exit 2
93 if test -f "$CONFIG"; then 91 if test -f "$CONFIG"; then
@@ -101,6 +99,8 @@ main() {
101 log error "Can't find configuration \`$CONFIG'." 99 log error "Can't find configuration \`$CONFIG'."
102 exit 2 100 exit 2
103 fi 101 fi
102 # Further argument processing --- pre-build
103 preprocess "$@" || shift
104 ## Log configuration variables 104 ## Log configuration variables
105 log config domain: "$DOMAIN" 105 log config domain: "$DOMAIN"
106 log config workdir: "$WORKD" 106 log config workdir: "$WORKD"