Commit 036f2d42 authored by François Bobot's avatar François Bobot

in local .why.conf -> why.conf

parent 55a7e631
...@@ -407,7 +407,7 @@ clean:: ...@@ -407,7 +407,7 @@ clean::
local_config: bin/why3config.@OCAMLBEST@ local_config: bin/why3config.@OCAMLBEST@
WHY3LIB=$(PWD) WHY3DATA=$(PWD)/share bin/why3config.@OCAMLBEST@ \ WHY3LIB=$(PWD) WHY3DATA=$(PWD)/share bin/why3config.@OCAMLBEST@ \
--detect --conf_file .why.conf --detect --conf_file why.conf
install_no_local:: install_no_local::
cp -f bin/why3config.@OCAMLBEST@ $(BINDIR)/why3config cp -f bin/why3config.@OCAMLBEST@ $(BINDIR)/why3config
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment