Skip to content
Snippets Groups Projects
Commit 6ab39d37 authored by Christian Engwer's avatar Christian Engwer
Browse files

commandline BUILDDIR has priority before opts-file BUILDDIR

[[Imported from SVN: r5825]]
parent 16bd381d
No related branches found
No related tags found
No related merge requests found
......@@ -136,8 +136,9 @@ load_opts() {
local COMMAND=$(echo $command | tr '[:lower:]' '[:upper:]')
CMD_FLAGS="$(eval echo \$${COMMAND}_FLAGS)"
local CMD_FLAGS_FROM_FILE=""
BUILDDIR=$DUNE_BUILDDIR
if test "x$DUNE_OPTS_FILE" != "x"; then
BUILDDIR="$(eval BUILDDIR=""; . $DUNE_OPTS_FILE; eval echo \$BUILDDIRy)"
BUILDDIR="$(eval BUILDDIR=""; . $DUNE_OPTS_FILE; eval echo \$BUILDDIR)"
CMD_FLAGS_FROM_FILE="$(eval ${COMMAND}_FLAGS=""; . $DUNE_OPTS_FILE; eval echo \$${COMMAND}_FLAGS)"
fi
if test -n "$CMD_FLAGS_FROM_FILE"; then
......@@ -522,13 +523,10 @@ while test $# -gt 0; do
done
;;
--builddir=*)
if test "x$arg" = "x"; then
usage
echo "ERROR: Parameter for --builddir is missing" >&2
echo >&2
exit 1;
fi
export BUILDDIR=$arg
export DUNE_BUILDDIR=$arg
;;
--no-builddir)
export DUNE_BUILDDIR=""
;;
--skipversioncheck)
export SKIPVERSIONCHECK=yes
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment