Skip to content
Snippets Groups Projects
Commit 84010b6b authored by Andreas Dedner's avatar Andreas Dedner
Browse files

ignore dune-py in dune module search so dunecontrol and duneproject

don't pick it up to build or in dependency list

should be dune_py instead of dune-py
parent f5c2c296
No related branches found
No related tags found
No related merge requests found
......@@ -69,6 +69,10 @@ parse_control() {
echo "ERROR: $CONTROL files $1 contains an invalid Module entry" >&2
exit 1
fi
# don't include the generated `dune-py` module in the dependency list
if test "$module" = "dune_py" ; then
return
fi
# read dune.module file
local deps="$($GREP "^[BLANK]*Depends:" "$1" | cut -d ':' -f2 | eval $PARSER_TRIM)"
local sugs="$($GREP "^[BLANK]*Suggests:" "$1" | cut -d ':' -f2 | eval $PARSER_TRIM)"
......
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