diff options
-rwxr-xr-x | vienna | 4 |
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" |