aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Wilson <jimw@sifive.com>2018-11-20 16:34:56 -0800
committerJim Wilson <jimw@sifive.com>2018-11-20 16:34:56 -0800
commitf431e367caa24b768b341c69685443061358cc8c (patch)
tree806e6d6dc2cdd7ad2c7211940fcc3415c883faa9
parentfea9ee11998e907dfd3797227539b43dbd945bf7 (diff)
downloadriscv-gnu-toolchain-f431e367caa24b768b341c69685443061358cc8c.zip
riscv-gnu-toolchain-f431e367caa24b768b341c69685443061358cc8c.tar.gz
riscv-gnu-toolchain-f431e367caa24b768b341c69685443061358cc8c.tar.bz2
Run config.status --recheck when configure changes.
-rw-r--r--Makefile.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index 0f6bfe2..1cbfd0a 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -859,3 +859,6 @@ install:
# Rebuilding Makefile.
Makefile: $(srcdir)/Makefile.in config.status
CONFIG_FILES=$@ CONFIG_HEADERS= $(SHELL) ./config.status
+
+config.status: $(srcdir)/configure
+ CONFIG_SHELL="$(SHELL)" $(SHELL) ./config.status --recheck