Skip to content
Snippets Groups Projects
Commit 57d20f02 authored by Markus Blatt's avatar Markus Blatt
Browse files

Seems to fix FS#441. @Christian please check whether I broke other things and close bug

[[Imported from SVN: r5310]]
parent 3cc5da30
Branches
Tags
No related merge requests found
......@@ -129,6 +129,7 @@ load_opts() {
fi
if test -n "$CMD_FLAGS_FILE"; then
echo "----- using default flags \$${COMMAND}_FLAGS from $DUNE_OPTS_FILE -----"
CMD_FLAGS="$CMD_FLAGS $(eval ${COMMAND}_FLAGS=""; . $DUNE_OPTS_FILE; eval echo \$${COMMAND}_FLAGS)"
elif test -n "$CMD_FLAGS"; then
echo "----- using default flags \$${COMMAND}_FLAGS from environment -----"
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment