Commit 82884097 authored by Francois Bobot's avatar Francois Bobot

lance ./config.status que sur le fichier qui a changé

parent b32f3e09
......@@ -220,8 +220,8 @@ bin/gwhy.byte: $(GCMO)
WHYVO=lib/coq/Why.vo
bench/bench : bench/bench.in
./config.status
bench/bench : bench/bench.in config.status
./config.status --file bench/bench
bench:: $(BINARY) bench/bench
sh bench/bench "$(BINARY) -I theories/"
......@@ -600,7 +600,7 @@ headers:
# myself
########
Makefile: Makefile.in config.status
./config.status
./config.status --file Makefile
config.status: configure
./config.status --recheck
......@@ -609,7 +609,7 @@ configure: configure.in
autoconf
src/driver/dynlink_compat.ml: src/driver/dynlink_compat.ml.in config.status
./config.status
./config.status --file src/driver/dynlink_compat.ml
# clean and depend
##################
......
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